Kowalski, Robert (1941- ).
Logika w rozwiązywaniu zadań / Tyt. oryg.: Logic for problem solving Robert Kowalski ; z ang. przeł. Paweł Luboński. - Warszawa : Wydawnictwa Naukowo-Techniczne, 1989. - XV, 288, [2] s. : il. ; 24 cm. - Biblioteka Inżynierii Oprogramowania . - Biblioteka Inżynierii Oprogramowania .
Bibliogr. s. 273-284. Indeks.
Dla programistów, projektantów systemów przetwarzania informacji i systemów doradczych, pracowników nauki zajmujących się informatyką oraz dla studentów kierunków informatycznych i matematycznych.
8320410975
Logika informatyczna.
Logika w rozwiązywaniu zadań / Tyt. oryg.: Logic for problem solving Robert Kowalski ; z ang. przeł. Paweł Luboński. - Warszawa : Wydawnictwa Naukowo-Techniczne, 1989. - XV, 288, [2] s. : il. ; 24 cm. - Biblioteka Inżynierii Oprogramowania . - Biblioteka Inżynierii Oprogramowania .
Bibliogr. s. 273-284. Indeks.
Dla programistów, projektantów systemów przetwarzania informacji i systemów doradczych, pracowników nauki zajmujących się informatyką oraz dla studentów kierunków informatycznych i matematycznych.
8320410975
Logika informatyczna.