Proofs, programs and executable specifications in higher order logic

Bibliographische Detailangaben

1. Verfasser:	Berghofer, Stefan (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	2003
Schlagworte:	Automatisches Beweisverfahren Konstruktive Logik Logische Programmierung Softwarespezifikation Hochschulschrift
Online-Zugang:	http://mediatum.ub.tum.de/?id=601727
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!