Communiqués par E Thomas Schubert

Cover for E Thomas Schubert · Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, Ut, Usa, September 11 - 14, 1995. Proceedings (International Workshop, Aspen Grove, Ut, Usa, September 11-14, 1995 - Proceedings) - Lecture Notes in Computer (Paperback Book) (1995)
Paperback Book
Higher Order Logic Theorem Provi...
E Thomas Schubert