Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

This book constitutes the refereed proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOL '96, held in Turku, Finland, in August 1996. The 27 revised full papers included together with one invited paper were carefully selected from a total of 46 submiss...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Goos, Gerhard, Hartmanis, Juris, Leeuwen, Jan van, Wright, Joakim von, Grundy, Jim, Harrison, John
Format:	Buch
Sprache:	eng
Schlagworte:	Artificial Intelligence Computer Science Logic Design Logic, Symbolic and mathematical Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical Logic and Foundations Software Engineering
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!