Vista normal Vista MARC Vista ISBD

10th international conference on automated deduction, kaiserslautern, frg, july 24-27, 1990 : Proceedings / M. e. stickel, ed - xvi, 688 páginas - Lecture notes in computer science ; 449. lecture notes in artificial intelligence . - Lecture notes in computer science .

ISBN: 3540528857

Subjects--Topical Terms:
Teorema, Comprobacion automatica de--Congresos
Lógica simbólica y matemática--Congresos

LC Class. No.: QA76.9A96 / I57 1990