Intelligent Computer Mathematics
Johan Jeuring, John Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge
Häftad, 2012
729 kr
Del 9150 i serien Lecture Notes in Computer Science
Intelligent Computer Mathematics
International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Häftad, Engelska, 2015
729 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Projects and Surveys; Systems and Data.
Produktinformation
- Utgivningsdatum2015-06-29
- Mått155 x 235 x 21 mm
- Vikt581 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor359
- FörlagSpringer International Publishing AG
- ISBN9783319206141
Tillhör följande kategorier
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
729 kr
Intelligent Computer Mathematics
James H. Davenport, William M. Farmer, Florian Rabe, Josef Urban
Häftad, 2011
729 kr
Del 10383
Intelligent Computer Mathematics
Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
Häftad, 2017
729 kr
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge
Häftad, 2002
729 kr
Intelligent Computer Mathematics
Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk
Häftad, 2008
729 kr
Intelligent Computer Mathematics
Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger
Häftad, 2013
729 kr
Del 11006
Intelligent Computer Mathematics
Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef
Häftad, 2018
729 kr
Del 12097
Mathematical Software – ICMS 2020
Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff
Häftad, 2020
709 kr