Bücher nach ISBN > Springer > Hurd, Joe

Hurd, Joe

TitelISBN-13
(ISBN-10)		Erscheinungsjahr
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings978-3-54O-28372-O
(3-54O-28372-2)		2005

H.J. · H. Joe · Joe Hurd

HUREAU Jean