Shelfclass_id |
4.A |
Sortkey |
DISCO |
Authors |
Jacques Calmet, Carla Limongelli |
Title |
DISCO '96: Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings |
Publisher |
Springer |
Year |
1996 |
Languages |
eng |
Isbn |
3540616977, 9783540616979 |
Series |
Lecture Notes in Computer Science |
Volume |
1128 |
Issn |
0302-9743 |
Description |
ix, 356 p. ill. 24 cm |
Record date |
20101025 |
Location |
New York |
Keywords |
System design, Congresses, Automatic theorem proving, Mathematics, data processing |
Urlnote |
Publisher description |
Urls |
http://www.loc.gov/catdir/enhancements/fy0815/96038259-d.html |