Shelfclass_id |
4.A |
Sortkey |
CADE |
Authors |
Robert Nieuwenhuis |
Title |
CADE 2005: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005: proceedings |
Publisher |
Springer-Verlag |
Year |
2005 |
Languages |
eng |
Isbn |
3540280057, 9783540280057 |
Description |
(pbk.) xiii, 457 p. ill. 24 cm. |
Record date |
20080204 |
Location |
New York |
Keywords |
Automatic theorem proving, Logic, Symbolic and mathematical |
Urlnote |
Publisher description |
Urls |
http://www.loc.gov/catdir/enhancements/fy0663/2005929197-d.html |