Intelligent Computer Mathematics
Johan Jeuring, John Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge
Häftad, 2012
558 kr
Intelligent Computer Mathematics
International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
AvManfred Kerber,Jacques Carette
Häftad, Engelska, 2015
Del 9150 i serien Lecture Notes in Computer Science
558 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Del 9150
Del 11617
Intelligent Computer Mathematics
Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen
Häftad, 2019
558 kr
Intelligent Computer Mathematics
James H. Davenport, William M. Farmer, Florian Rabe, Josef Urban
Häftad, 2011
558 kr
Del 10383
Intelligent Computer Mathematics
Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
Häftad, 2017
558 kr
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge
Häftad, 2002
558 kr
Intelligent Computer Mathematics
Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk
Häftad, 2008
558 kr
Intelligent Computer Mathematics
Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger
Häftad, 2013
558 kr
Del 11006
Intelligent Computer Mathematics
Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef
Häftad, 2018
558 kr
Del 12097
Mathematical Software – ICMS 2020
Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff
Häftad, 2020
542 kr