Bücher nach ISBN > Springer > Mark Aagaard

Mark Aagaard

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings978-3-54O-67863-2
(3-54O-67863-8)		2008John Harrison

M.A. · Mark A · Mark D. Aagaard · Mark Grimshaw-Aagaard

Mark Aakhus