TY - BOOK ID - 134129265 TI - Symposium on Automatic Demonstration AU - Laudet, M. AU - Symposium on Automatic Demonstration PY - 1970 VL - 125 PB - Berlin,New York : Springer-Verlag, DB - UniCat KW - Automatic theorem proving KW - Théorèmes KW - Congresses KW - Démonstration automatique KW - Congrès UR - https://www.unicat.be/uniCat?func=search&query=sysid:134129265 AB - ER -