Shelfclass_id |
4.B.3 |
Sortkey |
MCCUNE, W |
Authors |
W McCune, W. McCune, R. Padmanabhan, R Padmanabhan |
Title |
Automated Deduction in Equational Logic and Cubic Curves |
Publisher |
Springer |
Year |
1996 |
Languages |
eng |
Isbn |
3540613986 |
Series |
Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence |
Volume |
1095 |
Issn |
0302-9743 |
Description |
ix, 231 p. ill. 24 cm. |
Record date |
20110503 |
Location |
New York |
Keywords |
Automatic theorem proving, Curves, Algebraic |
Urlnote |
Publisher description |
Urls |
http://www.loc.gov/catdir/enhancements/fy0815/96026660-d.html |