Implementation of combinator specifications notions and proving techniques

Zugl.: München, Univ., Diss., 1995

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Mehlich, Michael (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Aachen Shaker 1996
Ausgabe:	Als Ms. gedr
Schriftenreihe:	Berichte aus der Informatik
Schlagworte:	Hochschulschrift > Algebraische Spezifikation > Automatisches Beweisverfahren > Logischer Schluss
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!