Format:
VIII, 171 S.
ISBN:
3-540-51705-7
,
0-387-51705-7
Series Statement:
Lecture notes in computer science 395.: Lecture notes in artificial intelligence.
Note:
Zugl.: Kaiserslautern, Univ., Diss., 1988
Language:
English
Subjects:
Computer Science
Keywords:
Geordnete Menge
;
Logik
;
Datenverarbeitung
;
Unifikationstheorie
;
Ordnungssortierte Logik
;
Mehrsortige Prädikatenlogik
;
Ordnungsrelation
;
Programmierung
;
Mathematische Logik
;
Algorithmus
;
Transformation
;
Hochschulschrift
;
Ordnungsorientierte Logik
;
Hochschulschrift
;
Ordnungsorientierte Logik
Bookmarklink