Automated deduction. A basis for applications. Vol. 2: Systems and implementation techniques
From MaRDI portal
Publication:1581359
zbMath0948.00014MaRDI QIDQ1581359
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) Mechanization of proofs and logical operations (03B35)
Uses Software
This page was built for publication: Automated deduction. A basis for applications. Vol. 2: Systems and implementation techniques
