Pokazujący  Paperback Book   ·   Pokaż wszystko
Pokaż niedostępne przedmioty

Wydania przez R J Boulton

22 sierpnia 2001

Cover for R J Boulton · Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings - Lecture Notes in Computer Science (Paperback Book) [2001 edition] (2001)
Paperback Book
2001 edition
Theorem Proving in Higher Order ...
R J Boulton