
An introduction to the logical and algorithmic concepts of artificial intelligence, discussing automated reasoning, the use of propositional and predicated logic, proof strategies, writing programs, natural language processing, expert systems and searching state space, decompositions and trees.
Page Count:
680
Publication Date:
1991-01-01
ISBN-10:
0412407906
ISBN-13:
9780412407901
No comments yet. Be the first to share your thoughts!