Intelligent Computer Mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. - neues Buch
2015, ISBN: 9783319206158
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… Mehr…
hive.co.uk No. 9783319206158. Versandkosten:Instock, Despatched same working day before 3pm, más costos de envío., zzgl. Versandkosten Details... |
2015, ISBN: 9783319206158
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 paper… Mehr…
Thalia.de Nr. 43867964. Versandkosten:, Sofort per Download lieferbar, DE. (EUR 0.00) Details... |
2015, ISBN: 9783319206158
Intelligent Computer Mathematics ab 58.99 € als pdf eBook: International Conference CICM 2015 Washington DC USA July 13-17 2015 Proceedings.. Aus dem Bereich: eBooks, Fachthemen & Wissens… Mehr…
Hugendubel.de Nr. 25038657. Versandkosten:, , DE. (EUR 0.00) Details... |
Intelligent Computer Mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. - neues Buch
2015, ISBN: 9783319206158
; PDF; Computing > Graphical & digital media applications > Desktop publishing, Springer Berlin Heidelberg
hive.co.uk No. 9783319206158. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2015, ISBN: 9783319206158
Intelligent Computer Mathematics - International Conference CICM 2015 Washington DC USA July 13-17 2015 Proceedings.: ab 58.99 € Medien > Bücher > E-books
eBook.de Nr. 25038657. Versandkosten:, , DE. (EUR 0.00) Details... |
Intelligent Computer Mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. - neues Buch
2015, ISBN: 9783319206158
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… Mehr…
2015, ISBN: 9783319206158
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 paper… Mehr…
2015
ISBN: 9783319206158
Intelligent Computer Mathematics ab 58.99 € als pdf eBook: International Conference CICM 2015 Washington DC USA July 13-17 2015 Proceedings.. Aus dem Bereich: eBooks, Fachthemen & Wissens… Mehr…
Intelligent Computer Mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. - neues Buch
2015, ISBN: 9783319206158
; PDF; Computing > Graphical & digital media applications > Desktop publishing, Springer Berlin Heidelberg
2015, ISBN: 9783319206158
Intelligent Computer Mathematics - International Conference CICM 2015 Washington DC USA July 13-17 2015 Proceedings.: ab 58.99 € Medien > Bücher > E-books
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Intelligent Computer Mathematics
EAN (ISBN-13): 9783319206158
Erscheinungsjahr: 6
Herausgeber: Springer International Publishing
Buch in der Datenbank seit 2015-07-29T10:14:29+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-02-14T09:51:51+01:00 (Berlin)
ISBN/EAN: 9783319206158
ISBN - alternative Schreibweisen:
978-3-319-20615-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: kerber, sorge, margherita
Titel des Buches: mathematics, intelligent, computer
Daten vom Verlag:
Autor/in: Manfred Kerber; Jacques Carette; Cezary Kaliszyk; Florian Rabe; Volker Sorge
Titel: Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science; Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Verlag: Springer; Springer International Publishing
359 Seiten
Erscheinungsjahr: 2015-06-22
Cham; CH
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XXI, 359 p. 84 illus.
EA; E107; eBook; Nonbooks, PBS / Mathematik/Sonstiges; Theoretische Informatik; Verstehen; automated deduction; computer algebra; mathematical publishing; mechanized reasoning; symbolic computation; C; Mathematical Applications in Computer Science; Artificial Intelligence; Symbolic and Algebraic Manipulation; Formal Languages and Automata Theory; Natural Language Processing (NLP); Information Storage and Retrieval; Computer Science; Künstliche Intelligenz; Mathematik für Informatiker; Natürliche Sprachen und maschinelle Übersetzung; Informationsrückgewinnung, Information Retrieval; Data Warehousing; BC
Invited Talks.- Calculemus.- Digital Mathematics Libraries.- Mathematical Knowledge Management.- Projects and Surveys.- Systems and Data.Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030535179 Intelligent Computer Mathematics (Christoph Benzmüller; Bruce Miller)
- 9783030535179 Intelligent Computer Mathematics (Christoph Benzmüller; Bruce Miller)
- 9783030232498 Intelligent Computer Mathematics by Cezary Kaliszyk Paperback | Indigo Chapters (Cezary Kaliszyk; Edwin Brady; Andrea Kohlhase; Claudio Sacerdoti Coen)
- 9783319425474 Intelligent Computer Mathematics (Bruce Miller, Frank Tompa, Leonardo de Moura, Michael Kohlhase, Moa Johansson)
- 9783319425467 Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings (Lecture Notes in Computer Science, Band 9791) (Michael Kohlhase; Moa Johansson; Bruce Miller; Leonardo de Moura; Frank Tompa)
- Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings (Lecture Notes in Computer Science Book 9791) (English Edition) (Manfred Kerber)
< zum Archiv...