Nikolaj Popov, Tudor Jebelean,
"A Complete Method for Algorithm Validation"
, in B. Buchberger, R. McCasland, A. Craciun: Proceedings of the Workshop on Automated Mathematical Theory Exploration AUTOMATHEO'09, Hagenberg, Austria, Seite(n) 21-25, 6-2009
Original Titel:
A Complete Method for Algorithm Validation
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the Workshop on Automated Mathematical Theory Exploration AUTOMATHEO'09