2012, ISBN: 9783642313745
This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2012, ISBN: 9783642313745
11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Par… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 9.95) Details... |
ISBN: 9783642313745
Computer Science; Symbolic and Algebraic Manipulation; Artificial Intelligence; Math Applications in Computer Science; Mathematical Logic and Formal Languages; Logics and Meanings of Prog… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
2012, ISBN: 9783642313745
11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Par… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Intelligent Computer Mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and - neues Buch
2012, ISBN: 9783642313745
; PDF; Computing > Computer programming / software development, Springer Japan
hive.co.uk No. 9783642313745. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2012, ISBN: 9783642313745
This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration… Mehr…
John Campbell; Jacques Carette; Johan Jeuring; Gabriel Dos Reis; Petr Sojka; Volker Sorge; Makarius Wenzel:
Intelligent Computer Mathematics - neues Buch2012, ISBN: 9783642313745
11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Par… Mehr…
ISBN: 9783642313745
Computer Science; Symbolic and Algebraic Manipulation; Artificial Intelligence; Math Applications in Computer Science; Mathematical Logic and Formal Languages; Logics and Meanings of Prog… Mehr…
2012, ISBN: 9783642313745
11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Par… Mehr…
Intelligent Computer Mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and - neues Buch
2012, ISBN: 9783642313745
; PDF; Computing > Computer programming / software development, Springer Japan
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Intelligent Computer Mathematics
EAN (ISBN-13): 9783642313745
Erscheinungsjahr: 2012
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-01-05T19:15:17+01:00 (Berlin)
Detailseite zuletzt geändert am 2021-10-08T18:49:00+02:00 (Berlin)
ISBN/EAN: 9783642313745
ISBN - alternative Schreibweisen:
978-3-642-31374-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: john volker, campbell john, gabriel volker, volker wenzel, makarius
Titel des Buches: intelligent, computer
Daten vom Verlag:
Autor/in: Johan Jeuring; John Campbell; Jacques Carette; Gabriel Dos Reis; Petr Sojka; Makarius Wenzel; Volker Sorge
Titel: Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science; Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings
Verlag: Springer; Springer Berlin
473 Seiten
Erscheinungsjahr: 2012-06-25
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XVIII, 473 p. 117 illus.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Mathematik für Informatiker; Verstehen; formal languages; machine verifyable proofs; parsing; program specification; semantic Web; C; Symbolic and Algebraic Manipulation; Artificial Intelligence; Mathematical Applications in Computer Science; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Information Storage and Retrieval; Computer Science; Künstliche Intelligenz; Theoretische Informatik; Informationsrückgewinnung, Information Retrieval; Data Warehousing; BC
The 13 revised full papers out of 19 submissions for MKM 2012, 6 revised full papers out of 9 submissions for Calculemus 2012, 6 revised full papers out of 8 submissions for AISC 2012, 2 revised full papers out of 3 submissions for DML 2012, and 11 revised full papers out of 12 submissions for Systems and Project track presented were carefully reviewed and selected, resulting in 38 papers from a total of 52 submissions.Fast track conference proceedings Unique visibility State of the art research
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540851097 Intelligent Computer Mathematics (Serge Autexier; John Campbell; Julio Rubio; Volker Sorge; Masakazu Suzuki; Freek Wiedijk)
- 9783540851097 Intelligent Computer Mathematics (Serge Autexier; John Campbell; Julio Rubio; Volker Sorge; Masakazu Suzuki; Freek Wiedijk)
- 9783642313738 Intelligent Computer Mathematics (Jeuring, Johan|Campbell, John|Carette, Jacques|Dos Reis, Gabriel|Sojka, Petr|Wenzel, Makarius|Sorge, Volker)
- 9783642141270 Intelligent Computer Mathematics (Serge Autexier; Jacques Calmet; David Delahaye; P.D.F. Ion; Laurence Rideau; Renaud Rioboo; Alan Sexton)
< zum Archiv...