Intelligent Computer Mathematics
Johan Jeuring, John Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge
Häftad
553 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
554 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
Intelligent Computer Mathematics
James H. Davenport, William M. Farmer, Florian Rabe, Josef Urban
Häftad
554 kr
Del 10383
Intelligent Computer Mathematics
Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
Häftad
554 kr
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge
Häftad
554 kr
Del 11617
Intelligent Computer Mathematics
Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen
Häftad
554 kr
Intelligent Computer Mathematics
Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger
Häftad
553 kr
Del 11006
Intelligent Computer Mathematics
Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef
Häftad
554 kr
Towards Mechanized Mathematical Assistants
Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger
Häftad
538 kr