Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993 (Lecture Notes in Computer Science) - Softcover

Inhaltsangabe

Dieser Band stellt das angegebene Verfahren der Higher-Order Logic User's Group Workshop von 1993 dar, die im August 1993 an der University of British Columbia gehalten wurde. Der Workshop wurde vom Zentrum für Integrierte Computersystemforschung gefördert. Es war der sechste in der Reihe jährlicher internationaler Workshops, die sich dem Thema des Logiksatzes höherer Ordnung widmen, seine Verwendung im HOL-System und seine Anwendungen. Der Band enthält 40 Papiere, darunter ein eingeladenes Papier von David Parnas, McMaster University, Kanada, mit dem Titel "Some theorems we should prove".

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.