Automated deduction. A basis for applications. Vol. 1: Foundations, calculi and methods
From MaRDI portal
Publication:1581358
zbMath0948.00015MaRDI QIDQ1581358
No author found.
Publication date: 17 September 2000
Published in: Applied Logic Series (Search for Journal in Brave)
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Decidability of theories and sets of sentences (03B25)
Related Items (1)
This page was built for publication: Automated deduction. A basis for applications. Vol. 1: Foundations, calculi and methods
