Tetsuo Ida, Judit Robu, Bruno Buchberger, Dorin Tepeneu,
"Proving and Constraint Solving in Computational Origami"
, in B. Buchberger and John Campbell: Proceedings of AISC 2004 (7 th International Conference on Artificial Intelligence and Symbolic Computation), Serie Lecture Notes in Artificial Intelligence (LNAI), Vol. 3249, Copyright: Springer-Berlin, Seite(n) 132-142, 9-2004, ISBN: 3-540-232
Original Titel:
Proving and Constraint Solving in Computational Origami
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of AISC 2004 (7 th International Conference on Artificial Intelligence and Symbolic Computation)
Forschungs-