Artículos relacionados a Intelligent Computer Mathematics: 11th International...
Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, ... 7362 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, A.I.S.C. 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, D.M.L. 2012, 11th International Conference on Mathematical Knowledge Management, M.K.M. 2012, Systems and Projects, held in Bremen, Germany as C.I.C.M. 2012, the Conferences on Intelligent Computer Mathematics. The 13 revised full papers out of 19 submissions for M.K.M. 2012, 6 revised full papers out of 9 submissions for Calculemus 2012, 6 revised full papers out of 8 submissions for A.I.S.C. 2012, 2 revised full papers out of 3 submissions for D.M.L. 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.
"Sinopsis" puede pertenecer a otra edición de este libro.
De la contraportada
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 of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 58,31
EUR 5,17 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Intelligent Computer Mathematics: 11th International...
Imagen del vendedor
Intelligent Computer Mathematics _ 11th International Conference
Publicado por
Springer-Verlag, Berlin, 2012
ISBN 10: 3642313736
ISBN 13: 9783642313738
Antiguo o usado
Paperback
Librería: San Francisco Book Company, Paris, Francia
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very good. Paperback Small Quarto. wraps 471 pp. Nº de ref. del artículo: P31797
Cantidad disponible: 1 disponibles
Imagen de archivo
Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, ... (Lecture Notes in Computer Science, 7362)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783642313738_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Intelligent Computer Mathematics
Publicado por
Springer Berlin Heidelberg Jun 2012, 2012
ISBN 10: 3642313736
ISBN 13: 9783642313738
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics. 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.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 of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics. 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. 492 pp. Englisch. Nº de ref. del artículo: 9783642313738
Cantidad disponible: 2 disponibles
Imagen del vendedor
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, Pro
Publicado por
Springer Berlin Heidelberg, 2012
ISBN 10: 3642313736
ISBN 13: 9783642313738
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics. 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.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 of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics. 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. Nº de ref. del artículo: 9783642313738
Cantidad disponible: 1 disponibles
Imagen del vendedor
Intelligent Computer Mathematics
Publicado por
Springer Berlin Heidelberg, 2012
ISBN 10: 3642313736
ISBN 13: 9783642313738
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Fast track conference proceedings Unique visibility State of the art researchThis book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 1. Nº de ref. del artículo: 5056561
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
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
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 18482748-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Intelligent Computer Mathematics
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012
ISBN 10: 3642313736
ISBN 13: 9783642313738
Nuevo
Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012 and more. Editor(s): Jeuring, Johan; Campbell, John; Carette, Jacques; Dos Reis, Gabriel; Sojka, Petr; Wenzel, Makarius; Sorge, Volker. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 491 pages, 117 black & white illustrations, biography. BIC Classification: UM; UNH; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 684. . 2012. Paperback. . . . . Nº de ref. del artículo: V9783642313738
Cantidad disponible: 15 disponibles
Imagen de archivo
Intelligent Computer Mathematics (Lecture Notes in Computer Science)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9783642313738
Cantidad disponible: 10 disponibles
Imagen del vendedor
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
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 18482748-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
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
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 18482748
Cantidad disponible: Más de 20 disponibles