scientific article; zbMATH DE number 1144311

Authors

Publication date 20 April 1998

automatic theorem proving Computer knowledge representation Logic Logic languages Maslov's inverse method nonmonotonic reasoning production system Proof search methods

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Review text

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).

Recommendations

Cited in

(5)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4384380)