- 5 resultados
menor preço: € 41.56, preço mais alto: € 59.22, preço médio: € 51.93
1
Encomendar
no/na ZVAB.com
€ 46.18
Envio: € 0.001
EncomendarLink patrocinado
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 - 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…

NOT NEW BOOK. Custos de envio:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
2
Encomendar
no/na buchfreund.de
€ 41.56
Envio: € 0.001
EncomendarLink patrocinado

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 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…

Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
3
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 - Autexier, Serge, Jacques Calmet  und David Delahaye
Encomendar
no/na booklooker.de
€ 59.22
Envio: € 0.001
EncomendarLink patrocinado
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 - 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…

Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
4
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 - Autexier, Serge, Jacques Calmet  und David Delahaye
Encomendar
no/na booklooker.de
€ 59.22
Envio: € 0.001
EncomendarLink patrocinado
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 - 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…

Custos de envio:Sans frais d'envoi. (EUR 0.00) Buchpark GmbH
5
Intelligent Computer Mathematics - Serge Autexier; Jacques Calmet; David Delahaye; P.D.F. Ion; Laurence Rideau; Renaud Rioboo; Alan Sexton
Encomendar
no/na lehmanns.de
€ 53.49
Envio: € 9.951
EncomendarLink patrocinado
Serge Autexier; Jacques Calmet; David Delahaye; P.D.F. Ion; Laurence Rideau; Renaud Rioboo; Alan Sexton:
Intelligent Computer Mathematics - primeira edição

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…

Custos de envio:Versand in 10-14 Tagen. (EUR 9.95)

1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
Intelligent Computer Mathematics

This book constitutes the joint refereed proceedings of the 10th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2010, the 17th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2010, and the 9th International Conference on Mathematical Knowledge Management, MKM 2010. All submissions passed through a rigorous review process. From the 25 papers submitted to AISC 2010, 9 were selected for presentation at the conference and inclusion in the proceedings volume. A total of 14 papers were submitted to Calculemus, of which 7 were accepted. MKM 2010 received 27 submissions, of which 16 were accepted for presentation and publication. The events focused on the use of AI techniques within symbolic computation and the application of symbolic computation to AI problem solving; the combination of computer algebra systems and automated deduction systems; and mathematical knowledge management, respectively.

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.

< Para arquivar...