Adrian Craciun, Bruno Buchberger,
"Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema"
, in Fairouz Kamareddine: Electronic Notes in Theoretical Computer Science, Vol. 93, Seite(n) 24--39, 2-2004, ISBN: 044451290X
Original Titel:
Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema
Sprache des Titels:
Englisch
Original Buchtitel:
Electronic Notes in Theoretical Computer Science
Volume:
93
Seitenreferenz:
24--39
Erscheinungsmonat:
2
Erscheinungsjahr:
2004
ISBN:
044451290X
Anzahl der Seiten:
15
Notiz zur Publikation:
Proc. of the Mathematical Knowledge Management Workshop, Edinburgh, Nov. 25, 2003