Theorem Proving in Higher Order Logics
Subtitle: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
By: edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Otmane Ait Mohamed, César Muñoz, Sofiène Tahar
Contributors: Kanade, Takeo; Kittler, Josef, 1946-; Kleinberg, Jon; Mattern, Friedemann; Mitchell, John C.; Ait Mohamed, Otmane; Muñoz, César; Naor, Moni, 1961-; Nierstrasz, Oscar Marius, 1957-; 1955-; Steffen, Bernhard; Sudan, Madhu; Tahar, Sofiène, 1966-; Terzopoulos, Demetri; Tygar, J.D.; Vardi, Moshe Y.; Weikum, Gerhard; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5170
Publisher: Springer Berlin Heidelberg
Published: 2008
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 319
ISBN-13: 9783540710653; 9783540710677
Subjects: Logic design; Artificial intelligence; Computer science; Software engineering