Intelligent Computer Mathematics, Fachbücher von Leonardo De Moura, Michael Kohlhase, Bruce Miller, Moa Johansson, Frank...

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

Automated Deduction - CADE 26, Fachbücher von Leonardo De Moura

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

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 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...

Applied Logic for Computer Scientists, Fachbücher von Mauricio Ayala-Rincón, Flávio L. C. de Moura

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

Mathematics and Computer Science III, Fachbücher von Bernhard Gittenberger, Philippe Flajolet, Danièle Gardy, Michael Dr...

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

Guide to Intelligent Data Science, Fachbücher von Frank Klawonn, Frank Höppner, Christian Borgelt, Michael R. Berthold, ...

Towards Mathematics, Computers and Environment: A Disasters Perspective, Fachbücher von Tiago José de Carvalho, Leonardo...

Proof Technology in Mathematics Research and Teaching, Fachbücher von Michael de Villiers, David A. Reid, Gila Hanna