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