Cover Image

The formalization of lists in the metalanguage of normal forms of knowledge

Saved in:

Bibliographic Details
Date:	2017
Main Author:	A. F. Kurgaev
Format:	Article
Language:	English
Published:	2017
Series:	Reports of the National Academy of Sciences of Ukraine
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000824953
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Similar Items

Definition of XML/RDF Semantic Web languages in the normal forms of knowledge metalanguage
by: A. F. Kurgaev, et al.
Published: (2017)

The description of lists and sets of meta-language of normal forms of knowledge
by: A. F. Kurgaev
Published: (2020)

The description of lists and sets of meta-language of normal forms of knowledge
by: Kurgaev, A.F.
Published: (2020)

The definition of formal languages in the meta language of normal forms of knowledge
by: A. F. Kurgaev, et al.
Published: (2017)

The definition of formal languages in the meta language of normal forms of knowledge
by: Kurgaev, A.F., et al.
Published: (2018)

The normal forms of knowledge
by: A. F. Kurgaev, et al.
Published: (2015)

The extended meta-language of normal forms of knowledge
by: A. F. Kurgaev
Published: (2020)

The modification of the meta-language of normal forms of knowledge
by: A. F. Kurgaev
Published: (2019)

The modification of the meta-language of normal forms of knowledge
by: Kurgaev, A.F.
Published: (2019)

Meta-language of normal forms of knowledge
by: A. F. Kurgaev, et al.
Published: (2016)

Descriptional metalanguage of restrictive syntaxemes as component of paremias
by: M. M. Pauk
Published: (2017)

Metalanguage of Novel &quot;UROBOROS&quot; by Oleh Sych
by: A. Liudnova
Published: (2017)

Syntacticaly expressive metalanguage intensification of modern analytical methods of reality reconstruction
by: V. Stiekolshchykova
Published: (2016)

Using of ontological models for formalized knowledge assessment
by: Ya. Hladun, et al.
Published: (2019)

About one approach to automatic creation of formal queries to ontological knowledge bases
by: Palagin, O.V., et al.
Published: (2024)

List of Figures
Published: (2011)

List of contributors
by: Відомості про авторів
Published: (2022)

Application of Semantic Modeling to Formalized Knowledge Assessment Based on Open Encyclopedic Resources
by: Gladun, A.Ya., et al.
Published: (2020)

Application of Semantic Modeling to Formalized Knowledge Assessment Based on Open Encyclopedic Resources
by: Ya. Gladun, et al.
Published: (2020)

The international scientific school-seminar &quot;Metalanguages of the dictionaries of different types: structure and use&quot;
by: O. Diundyk
Published: (2018)

Formal theory model in the form of commutative semigroup of image constructions
by: O. V. Bisikalo, et al.
Published: (2013)

Models and Methods of the Semantic Wiki Resources Use as Knowledge Sources for Renewal of Formal Domen Ontologies
by: V. I. Hrytsenko, et al.
Published: (2018)

Intrigue as the rational form of knowledge socialization
by: T. Kamenskaja
Published: (2012)

Intrigue as the rational form of knowledge socialization
by: T. Kamenska
Published: (2012)

List of publications by Myroslav Lvovych Gorbachuk
by: Yu. M. Berezanskyi, et al.
Published: (2013)

The concept of information. Part I. The presentation of information in the form of a scientific theory
by: A. F. Kurgaev
Published: (2020)

Red list of Charales of Ukraine
by: G. M. Palamar-Mordvintseva, et al.
Published: (2004)

Constructing Involutive Tableaux with Guillemin Normal Form
by: Smith, A.D.
Published: (2015)

Formal theory model in the form of commutative semigroup of image constructions
by: Бисикало, Олег Владимирович, et al.
Published: (2015)

Formal theory model in the form of commutative semigroup of image constructions
by: Бисикало, Олег Владимирович, et al.
Published: (2015)

Economic and Mathematical Model of Formally Formed Prices for Power Sector
by: Dobrovolsky V.K.
Published: (2000)

List of publications by Leonid Pavlovych Nizhnik
by: Yu. M. Berezanskyi, et al.
Published: (2015)

List of publications by Samuil Davidovich Eidelman
by: Yu. M. Berezanskyi, et al.
Published: (2016)

On Smith normal forms of \(q\)-Varchenko matrices
by: Boulware, N., et al.
Published: (2023)

Forming the payoff matrix in the formalized game between shipowner and managing company
by: E. S. Meleshenko
Published: (2017)

List of INTAS Projects presented at the Workshop
Published: (1999)

Organization and law principles of creation of list administrative services
by: R. F. Hryniuk, et al.
Published: (2013)

The species list of seaweeds of north-west part of the black sea
by: F. P. Tkachenko
Published: (2004)

Condition number of the matrix of transition to the normal Jordan form
by: Grabovskii, O. I., et al.
Published: (1999)

Minimization of the conjunctive normal forms of partially monotonic Boolean functions
by: A. P. Pynko
Published: (2017)