Computational aspects of an order-sorted logic with term declarations

Computational aspects of an order-sorted logic with term declarations

Zugl.: Kaiserslautern, Univ., Diss. : 1988

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Schmidt-Schauß, Manfred (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg, New York, London, Paris, Tokyo Springer 1989
Schriftenreihe:Lecture notes in computer science 395 : Lecture notes in artificial intelligence
Schlagworte:
Logic, symbolic and mathematical > Hochschulschrift > Unifikationstheorie > Ordnungssortierte Logik
Online Zugang:Cover
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Zugl.: Kaiserslautern, Univ., Diss. : 1988
Beschreibung:Literaturverz. S. [156] - 166
Beschreibung:VIII, 171 S
graph. Darst.
ISBN:3540517057
3-540-51705-7
0387517057
0-387-51705-7