Intelligent Computer Mathematics, Fachbücher von Claudio Sacerdoti Coen, Fairouz Kamareddine

Intelligent Computer Mathematics, Fachbücher von Edwin Brady, Claudio Sacerdoti Coen, Cezary Kaliszyk, Andrea Kohlhase

Intelligent Computer Mathematics, Fachbücher von Jacques Carette, Claudio Sacerdoti Coen, Lucas Dixon, Stephen Watt

Intelligent Computer Mathematics, Fachbücher von Bruce Miller, Christoph Benzmüller

Functional and Constraint Logic Programming, Fachbücher von Michael Hanus, Claudio Sacerdoti Coen

Intelligent Computer Mathematics, Fachbücher von William M. Farmer, Abdou Youssef, Grant O. Passmore, Florian Rabe

Intelligent Computer Mathematics, Fachbücher von Herman Geuvers, Olaf Teschke, Osman Hasan, Matthew England, Florian Rab...

Intelligent Computer Mathematics, Fachbücher von John Campbell, Serge Autexier, Masakazu Suzuki, Volker Sorge, Julio Rub...

Intelligent Computer Mathematics, Fachbücher von Petr Sojka, James H. Davenport, Josef Urban, Alan Sexton, Stephen M. Wa...

Michael Kohlhase (u. A.) | Intelligent Computer Mathematics |

Intelligent Computer Mathematics 11th International Conference, Cicm

Mathematics for Computer Algebra, Fachbücher

Computer Based Learning In Mathematics, Fachbücher

Computer Safety, Reliability, and Security, Fachbücher von Coen van Gulijk, Floor Koornneef

Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th

Intelligent Computer Mathematics Cicm 2014 Joint Events: Calculemus,