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