HOLCF: Eine konservative Erweiterung von HOL um LCF

München, Techn. Univ., Diss., 1994

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Regensburger, Franz (VerfasserIn)
Format: UnknownFormat
Sprache:ger
Veröffentlicht: 1994
Schlagworte:
Automatisches Beweisverfahren > Stufe n > Logik > Klassenlogik > Bereichstheorie > Hochschulschrift
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:München, Techn. Univ., Diss., 1994
Beschreibung:VI, 312 S.