Umfang:
1 Online-Ressource (X, 116 S.)
,
graph. Darst.
ISBN:
3540550348
,
0387550348
Serie:
Lecture notes in computer science 568 : Lecture notes in artificial intelligence
Anmerkung:
Teilw. zugl.: Kaiserslautern, Univ., Diss., 1990
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
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
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Bookmarklink