9th international conference on automated deduction (CADE-9), Argonne, Illinois, USA, May 23-26, 1988. Proceedings

zbMath0638.00038MaRDI QIDQ1210767

No author found.

Publication date: 5 June 1993

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

ConferenceProceedingsAutomated deductionArgonne, IL (USA)CADE-9

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items

Computer supported mathematics with \(\Omega\)MEGA