A137039 / A1.3
Newborn, Monty
Automated theorem proving : theory and practice
/
.- Springer-Verlag, 2001
Copy Details:
Acc. No.: ER1137, Full Call No.: A137039 A1.3, Item type: USB/CD/DVD , Location: CARS,
------------------------- --------------------- ------ --------- ------- ------- --------- --------