The presentation of formal proofs

Bibliographische Detailangaben

1. Verfasser:	Simons, Martin (VerfasserIn)
Format:	Abschlussarbeit Buch
Sprache:	English
Veröffentlicht:	Bonn Gesellschaft für Mathematik und Datenverarbeitung 1997
Schriftenreihe:	GMD-Berichte 278
Schlagworte:	Präsentation Beweis Software Engineering Automatisches Beweisverfahren Formalisierung Logikkalkül Formale Beschreibungstechnik Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!