Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen	Hilfe

Suche: Author="Kerber, Manfred"

Als [bib] [pdf] [ps] [dvi] [xml] herunterladen.

Integrating computer algebra with proof planning

Manfred Kerber, Michael Kohlhase, Volker Sorge

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. 204-215

Editors Jacques Calmet, Carla Limongelli

Publisher: Springer-Verlag

Address: Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore

Editors		Jacques Calmet, Carla Limongelli
Publisher:		Springer-Verlag
Address:		Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore