No label defined (Q4384380)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1144311
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1144311 |
Statements
20 April 1998
0 references
Logic
0 references
Computer
0 references
Logic languages
0 references
Proof search methods
0 references
Maslov's inverse method
0 references
knowledge representation
0 references
nonmonotonic reasoning
0 references
production system
0 references
automatic theorem proving
0 references
0.7633727788925171
0 references
The articles of this volume will not be indexed individually. Contents: \textit{A. D. Zakrevskij}, ``Representation of knowledge and logical deduction in the space of multivalued attributes'' (pp. 3-15); \textit{A. D. Livchak}, ``A production system. Description of a computer in terms of productions'' (pp. 16-23); \textit{V. L. Vasyukov} ``Automatic theorem proving'' (pp. 24-61); \textit{S. L. Katrechko}, ``Maslov's inverse method'' (pp. 62-74); \textit{A. E. Novodvorskij} and \textit{A. V. Smirnov}, ``Interactive theorem proving'' (pp. 75-90); \textit{V. I. Shalak}, ``Relations between theories and automatic theorem proving'' (pp. 91-98); \textit{E. V. Levenets}, ``Reasonings on analogy'' (pp. 99-111); \textit{A. M. Khlus}, ``Nonmonotony and meaningful reasonings'' (pp. 112-131).
0 references
