

An edition of Logic for problem solving (1974)
By Robert Kowalski
Publish Date
1979
Publisher
Elsevier North Holland
Language
eng
Pages
291
Description:
subjects: Computer programming, Problem solving, Symbolic and mathematical Logic, Electronic digital computers, Programming, Wiskundige logica, Logique symbolique et mathématique, Problemlösen, Programmeren (computers), Résolution de problème, Programmation (Informatique), Automatisches Beweisverfahren, Probleemoplossing, Logic