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 - edizione con copertina flessibile
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… Altro …
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Costi di spedizione: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 - libri usati
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… Altro …
buchfreund.de Buchpark GmbH, 14959 Trebbin Costi di spedizione: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 - libri usati
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… Altro …
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 - libri usati
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… Altro …
booklooker.de |
2010, ISBN: 9783642141270
edizione con copertina flessibile
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… Altro …
lehmanns.de Costi di spedizione: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 - edizione con copertina flessibile
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… Altro …
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 - libri usati2010, ISBN: 9783642141270
2010 Neubindung, Buchrücken leicht eingerissen, Auflage 2010 7931136/12 Versandkostenfreie Lieferung knowledge,symbolic computation,problem solving,computer algebra,algebra,deduction syst… Altro …
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 - libri usati
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… Altro …
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 - libri usati
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… Altro …
2010, ISBN: 9783642141270
edizione con copertina flessibile
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… Altro …
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Intelligent Computer Mathematics
EAN (ISBN-13): 9783642141270
ISBN (ISBN-10): 3642141277
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2010
Editore: Springer Berlin
469 Pagine
Peso: 0,736 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2007-01-20T21:51:26+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-01-29T20:45:18+01:00 (Zurich)
ISBN/EAN: 3642141277
ISBN - Stili di scrittura alternativi:
3-642-14127-7, 978-3-642-14127-0
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : jacques serge, calmet, sexton, autexier, delahaye, renaud, ion, del rio, delahay, renau, laurence david
Titolo del libro: calculemus, mkm, symposium, before the computer, paris, lecture notes mathematics, delahaye, intelligent
Dati dell'editore
Autore: Serge Autexier; Jacques Calmet; David Delahaye; P.D.F. Ion; Laurence Rideau; Renaud Rioboo; Alan Sexton
Titolo: 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
Editore: Springer; Springer Berlin
471 Pagine
Anno di pubblicazione: 2010-06-30
Berlin; Heidelberg; DE
Lingua: Inglese
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
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
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)
< Per archiviare...