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: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
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: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------