Publikationsdetails

Zitat:	Adrian Craciun, Bruno Buchberger, "Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema" : Proceedings of the MKM 03 Symposium, Heriot-Watt University, Edingburgh 25-29 November 2003, ENTCS volume dedicated to teh MKM 03 Symposium, Elsevier, 2003, ISBN: 044451290X
Original Titel:	Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema
Sprache des Titels:	Englisch
Original Buchtitel:	Proceedings of the MKM 03 Symposium, Heriot-Watt University, Edingburgh 25-29 November 2003, ENTCS volume dedicated to teh MKM 03 Symposium
Veröffentlicher:	Elsevier
Erscheinungsjahr:	2003
ISBN:	044451290X
Anzahl der Seiten:	15
Publikationstyp:	Aufsatz / Paper in Tagungsband (referiert)
Autoren:	Adrian Craciun, Bruno Buchberger
Forschungseinheiten:	Institut für Symbolisches Rechnen

fodok.jku.at

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum