Die bibliographische Datenbank LEABib
Problem-oriented applications of automated theorem proving
W. Bibel, D. Korn, C. Kreitz, S. Schmitt
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO'96 (Karlsruhe, Germany, September 18-20, 1996)
Lecture Notes in Computer Science
1128
, 1996, pp. 1-21
Editors | |
Jacques Calmet,
Carla Limongelli |
Publisher: | | Springer-Verlag |
Address: | | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore |
|
| |
|