Computational aspects of an order sorted logic with term declarations

Kaiserslautern, Univ., Diss., 1988

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Schmidt-Schauß, Manfred
Format: UnknownFormat
Sprache:ger
Schlagworte:
Programmierung > Ordnungssortierte Logik > Unifikationstheorie > Mathematische Logik
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Kaiserslautern, Univ., Diss., 1988
Beschreibung:226 S.