Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science (1690), Band 1690)

von: Laurent Thery · Yves Bertot · Andre Hirschowitz · Christine Paulin · Gilles Dowek

Taschenbuch

ISBN: 978-3-540-66463-5

ISBN-10: 3-540-66463-7

Siehe auch:
2014	Paperback	Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings