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