Computational logic and human thinking : how to be artificially intelligent /
Opis
Kowalski, Robert ((1941- ).)
Computational logic and human thinking : how to be artificially intelligent / Robert Kowalski.
Cambridge [etc.] : Cambridge University Press, 2011.
XXII, 310 s. : il. ; 23 cm.
ISBN 978-0-521-19482-2 ISBN 978-0-521-12336-5
Inteligencja obliczeniowa.
Logika symboliczna i matematyczna.
Rozumowanie.
T.18119
UKD: 004.8:510.6]=111