Deductive inference by the use of necessary and sufficient deducibility conditions in the calculus of first-order predicate

zbMath0823.68100MaRDI QIDQ1342557

S. I. Tishchenko

Publication date: 20 February 1995

Published in: Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

finite algorithms

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

This page was built for publication: Deductive inference by the use of necessary and sufficient deducibility conditions in the calculus of first-order predicate