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)
00B15: Collections of articles of miscellaneous specific interest
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
03B25: Decidability of theories and sets of sentences
Related Items