Format:
1 Online-Ressource (X, 116 S.)
,
graph. Darst.
ISBN:
3540550348
,
0387550348
Series Statement:
Lecture notes in computer science 568 : Lecture notes in artificial intelligence
Note:
Teilw. zugl.: Kaiserslautern, Univ., Diss., 1990
Language:
English
Subjects:
Computer Science
Keywords:
Eingeschränkter Quantor
;
Prädikatenlogik
;
Prädikatenlogik
;
Stufe 1
;
Eingeschränkter Quantor
;
Problemlösen
;
Prädikatenlogik
;
Künstliche Intelligenz
;
Prädikatenlogik
;
Stufe 1
;
Restriktion
;
Hochschulschrift
DOI:
10.1007/3-540-55034-8