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 - Livro de bolso
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… mais…
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Custos de envio: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 - livro 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… mais…
buchfreund.de Buchpark GmbH, 14959 Trebbin Custos de envio: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 - livro 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… mais…
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 - livro 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… mais…
booklooker.de |
2010, ISBN: 9783642141270
Livro de bolso
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… mais…
lehmanns.de Custos de envio: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 - Livro de bolso
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… mais…
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 - livro 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… mais…
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 - livro 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… mais…
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 - livro 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… mais…
2010, ISBN: 9783642141270
Livro de bolso
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… mais…
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Intelligent Computer Mathematics
EAN (ISBN-13): 9783642141270
ISBN (ISBN-10): 3642141277
Livro de capa dura
Livro de bolso
Ano de publicação: 2010
Editor/Editora: Springer Berlin
469 Páginas
Peso: 0,736 kg
Língua: eng/Englisch
Livro na base de dados desde 2007-01-20T18:51:26-02:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-01-29T16:45:18-03:00 (Sao Paulo)
Número ISBN/EAN: 3642141277
Número ISBN - Ortografia alternativa:
3-642-14127-7, 978-3-642-14127-0
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: jacques serge, calmet, sexton, autexier, delahaye, renaud, ion, del rio, delahay, renau, laurence david
Título do livro: calculemus, mkm, symposium, before the computer, paris, lecture notes mathematics, delahaye, intelligent
Dados da editora
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
Editora: Springer; Springer Berlin
471 Páginas
Ano de publicação: 2010-06-30
Berlin; Heidelberg; DE
Peso: 0,732 kg
Língua: Inglês
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XV, 471 p. 71 illus.
BC; Algebra; Hardcover, Softcover / Mathematik/Arithmetik, Algebra; Algebra; Verstehen; algebra; artificial intelligence; computer algebra; deduction systems; formal deduction; knowledge; problem solving; symbolic computation; theorem proving; Artificial Intelligence; 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 of Formality: 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.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9783030810962 Intelligent Computer Mathematics (Claudio Sacerdoti Coen)
- 9783030810962 Intelligent Computer Mathematics (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 arquivar...