Automated theorem proving: theory and practice

Bibliographic Details
Main Author: Newborn, Monty
Format: Printed Book
Language:English
Published: New York Springer 2001
Subjects:
Automated theorem proving > AI (Artificial intelligence) > Electronic brains > Intelligence, Artificial > Machine intelligence > Artificial intelligence > Expert systems > Bionics > Electronic data procressing
LEADER 00773nam a2200193 a 4500
005 20151026132030.0
008 960221s1955 dcuabcdjdbkoqu001 0deng d
003 ViArRB
020 |a 0-387-95075-3 
080 |a 004.83   |b NEW 
100 |a Newborn, Monty 
245 |a Automated theorem proving: theory and practice 
260 |a New York  |b Springer  |c 2001 
300 |a xiii, 229p. 
500 |a  CD ROM available 
653 |a Automated theorem proving  |a AI (Artificial intelligence)  |a Electronic brains  |a Intelligence, Artificial  |a Machine intelligence  |a Artificial intelligence  |a Expert systems  |a Bionics  |a Electronic data procressing 
942 |c BK  |6 _ 
999 |c 40398  |d 40398 
952 |0 0  |1 0  |2 udc  |4 0  |6 00483_NEW  |7 0  |9 52314  |a UL  |b UL  |d 2010-06-16  |o 004.83 NEW  |p 00051210  |r 2010-06-16  |w 2010-06-16  |y BK 

Similar Items