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.