Logic programming and automated reasoning. International conference, LPAR `92, St. Peterburg, Russia, July 15--20, 1992. Proceedings
From MaRDI portal
Publication:1294673
zbMath0916.00020MaRDI QIDQ1294673
No author found.
Publication date: 1 July 1999
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Logic in artificial intelligence (68T27) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mechanization of proofs and logical operations (03B35) Logic programming (68N17) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (2)
Limited resource strategy in resolution theorem proving ⋮ Perfect Discrimination Graphs: Indexing Terms with Integer Exponents
This page was built for publication: Logic programming and automated reasoning. International conference, LPAR `92, St. Peterburg, Russia, July 15--20, 1992. Proceedings
