Intelligent Computer Mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings - Pasta blanda
2010, ISBN: 3642141277
[EAN: 9783642141270], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], KNOWLEDGE,SYMBOLIC COMPUTATION,PROBLEM SOLVING,COMPUTER ALGEBRA,ALGEBRA,DEDUCTION SYSTEMS,FORMAL DEDUCTIO… Más…
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Gastos de envío:Versandkostenfrei. (EUR 0.00) Details... |
Intelligent Computer Mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings 2010 - libro usado
2010, ISBN: 9783642141270
2010 Neubindung, Buchrücken leicht eingerissen, Auflage 2010 7931136/12 Versandkostenfreie Lieferung knowledge,symbolic computation,problem solving,computer algebra,algebra,deduction syst… Más…
buchfreund.de Buchpark GmbH, 14959 Trebbin Gastos de envío:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Intelligent Computer Mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings - libro usado
2010, ISBN: 9783642141270
[PU: Springer Berlin], Neubindung, Buchrücken leicht eingerissen, Auflage 2010 7931136/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, Kreditkarte, P… Más…
booklooker.de |
Intelligent Computer Mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings - libro usado
2010, ISBN: 9783642141270
[PU: Springer Berlin], Neubindung, Buchrücken leicht eingerissen, Auflage 2010 7931136/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, Kreditkarte, P… Más…
booklooker.de |
2010, ISBN: 9783642141270
Pasta blanda
10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings, Buch, Softcover, [PU: S… Más…
lehmanns.de Gastos de envío:Versand in 10-14 Tagen. (EUR 9.95) Details... |
Intelligent Computer Mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings - Pasta blanda
2010, ISBN: 3642141277
[EAN: 9783642141270], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], KNOWLEDGE,SYMBOLIC COMPUTATION,PROBLEM SOLVING,COMPUTER ALGEBRA,ALGEBRA,DEDUCTION SYSTEMS,FORMAL DEDUCTIO… Más…
Autexier, Serge, Jacques Calmet und David Delahaye:
Intelligent Computer Mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings 2010 - libro usado2010, ISBN: 9783642141270
2010 Neubindung, Buchrücken leicht eingerissen, Auflage 2010 7931136/12 Versandkostenfreie Lieferung knowledge,symbolic computation,problem solving,computer algebra,algebra,deduction syst… Más…
Intelligent Computer Mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings - libro usado
2010
ISBN: 9783642141270
[PU: Springer Berlin], Neubindung, Buchrücken leicht eingerissen, Auflage 2010 7931136/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, Kreditkarte, P… Más…
Intelligent Computer Mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings - libro usado
2010, ISBN: 9783642141270
[PU: Springer Berlin], Neubindung, Buchrücken leicht eingerissen, Auflage 2010 7931136/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, Kreditkarte, P… Más…
2010, ISBN: 9783642141270
Pasta blanda
10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings, Buch, Softcover, [PU: S… Más…
Datos bibliográficos del mejor libro coincidente
Autor: | |
Título: | |
ISBN: |
Detalles del libro - Intelligent Computer Mathematics
EAN (ISBN-13): 9783642141270
ISBN (ISBN-10): 3642141277
Tapa dura
Tapa blanda
Año de publicación: 2010
Editorial: Springer Berlin
469 Páginas
Peso: 0,736 kg
Idioma: eng/Englisch
Libro en la base de datos desde 2007-01-20T14:51:26-06:00 (Mexico City)
Página de detalles modificada por última vez el 2024-01-29T13:45:18-06:00 (Mexico City)
ISBN/EAN: 3642141277
ISBN - escritura alterna:
3-642-14127-7, 978-3-642-14127-0
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: jacques serge, calmet, sexton, autexier, delahaye, renaud, ion, del rio, delahay, renau, laurence david
Título del libro: calculemus, mkm, symposium, before the computer, paris, lecture notes mathematics, delahaye, intelligent
Datos del la editorial
Autor: Serge Autexier; Jacques Calmet; David Delahaye; P.D.F. Ion; Laurence Rideau; Renaud Rioboo; Alan Sexton
Título: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Intelligent Computer Mathematics - 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
Editorial: Springer; Springer Berlin
471 Páginas
Año de publicación: 2010-06-30
Berlin; Heidelberg; DE
Idioma: Inglés
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XV, 471 p. 71 illus.
BC; Hardcover, Softcover / Mathematik/Arithmetik, Algebra; Algebra; Verstehen; algebra; artificial intelligence; computer algebra; deduction systems; formal deduction; knowledge; problem solving; symbolic computation; theorem proving; Algebra; Artificial Intelligence; Künstliche Intelligenz; EA
Contributions to AISC 2010.- The Challenges of Multivalued “Functions”.- The Dynamic Dictionary of Mathematical Functions.- A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence.- I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness.- Structured Formal Development with Quotient Types in Isabelle/HOL.- Instantiation of SMT Problems Modulo Integers.- On Krawtchouk Transforms.- A Mathematical Model of the Competition between Acquired Immunity and Virus.- Some Notes upon “When Does $]]> Equal Sat ?”.- How to Correctly Prune Tropical Trees.- From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals.- Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar.- Contributions to Calculemus 2010.- Some Considerations on the Usability of Interactive Provers.- Mechanized Mathematics.- Formal Proof of SCHUR Conjugate Function.- Symbolic Domain Decomposition.- A Formal Quantifier Elimination for Algebraically Closed Fields.- Computing in Coq with Infinite Algebraic Data Structures.- Formally Verified Conditions for Regularity of Interval Matrices.- Reducing Expression Size Using Rule-Based Integration.- A Unified Formal Description of Arithmetic and Set Theoretical Data Types.- Contributions to MKM 2010.- Against Rigor.- Smart Matching.- Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System.- An OpenMath Content Dictionary for Tensor Concepts.- On Duplication in Mathematical Repositories.- Adapting Mathematical Domain Reasoners.- Integrating Multiple Sources to Answer Questions in Algebraic Topology.- An Integrated Development Environment for Collections.- Proofs, Proofs, Proofs, and Proofs.- Dimensions ofFormality: A Case Study for MKM in Software Engineering.- Towards MKM in the Large: Modular Representation and Scalable Software Architecture.- The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents.- Notations Around the World: Census and Exploitation.- Evidence Algorithm and System for Automated Deduction: A Retrospective View.- On Building a Knowledge Base for Stability Theory.- Proviola: A Tool for Proof Re-animation.- A Wiki for Mizar: Motivation, Considerations, and Initial Prototype.Up-to-date results
Más, otros libros, que pueden ser muy parecidos a este:
Último libro similar:
9783031166808 Intelligent Computer Mathematics (Kevin Buzzard; Temur Kutsia)
- 9783031166808 Intelligent Computer Mathematics (Kevin Buzzard; Temur Kutsia)
- 9783030810962 Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings Fairouz Kamareddine Edit (Claudio Sacerdoti Coen)
- 9783030810979 Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings Fairouz Kamareddine Edit (Redaktion: Kamareddine, Fairouz; Sacerdoti Coen, Claudio)
- 9783030232498 Intelligent Computer Mathematics by Cezary Kaliszyk Paperback | Indigo Chapters (Cezary Kaliszyk; Edwin Brady; Andrea Kohlhase; Claudio Sacerdoti Coen)
- 9783642141287 Intelligent Computer Mathematics (Serge Autexier; Jacques Calmet; David Delahaye; P.D.F. Ion; Laurence Rideau; Renaud Rioboo; Alan Sexton)
< para archivar...