Mostrar  Paperback Book   ·   Mostrar todo
Mostrar artículos no disponibles

Lanzamientos por J Grundy

Cover for J Grundy · Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings - Lecture Notes in Computer Science (Paperback Book) [1998 edition] (1998)
Paperback Book
1998 edition
Theorem Proving in Higher Order ...
J Grundy