Flach, Peter A.

Simply logical : intelligent reasoning by example / Peter Flach. - Chichester, West Sussex ; New York : John Wiley , c1994. - xv , 240 p. : ill. ; 25 cm. - Wiley Professional Computing. .

0471941522


Artifical intelligence.
Logic, Symbolic and mathematical.
Prolog (Computer program language)
Reasoning--Data processing.

006.3 / FLA