004.015113 / N427A
Newborn,Monty
AUAOMATED THEOREM PROVING.
/ THEORY AND PRACTICE.
.- Springer-Verlag, New York, 2001
.- xiii,231 .
With Cd -- Rom.
ISBN: 0387950753
Subject Headings:
Automatic Theorem Proving;
Copy Details:
Acc. No.: A137039, Full Call No.: 004.015113 N427A, Item type: Written-off , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------