Logic for problem solving - Kowalski, Robert 1941- (North Holland, 1983)
Literaturverz. S. 247 - 260
Keywords: Kybernetik; Künstliche Intelligenz; Programmierung; Mathematische Logik; Problemlösen; Datenverarbeitung; Logik