Communiqués par Jeffrey J Joyce

Cover for Jeffrey J Joyce · Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.c., Canada, August 11-13, 1993. Proceedings (International Workshop, Hug '93, Vancouver, B.c., Canada, August 11-13, 1993 - Proceedings) - Lecture N (Paperback Book) (1994)
Paperback Book
Higher Order Logic Theorem Provi...
Jeffrey J Joyce