- 5 resultaten
laagste prijs: € 41,56, hoogste prijs: € 59,22, gemiddelde prijs: € 51,93
1
bestellen
bij ZVAB.com
€ 46,18
verzending: € 0,001
bestellenGesponsorde link
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 - pocketboek

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

NOT NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
2
bestellen
bij buchfreund.de
€ 41,56
verzending: € 0,001
bestellenGesponsorde link

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 - gebruikt boek

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

Verzendingskosten: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
bestellen
bij booklooker.de
€ 59,22
verzending: € 0,001
bestellenGesponsorde link
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 - gebruikt boek

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

Verzendingskosten: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
bestellen
bij booklooker.de
€ 59,22
verzending: € 0,001
bestellenGesponsorde link
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 - gebruikt boek

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

Verzendingskosten: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
bestellen
bij lehmanns.de
€ 53,49
verzending: € 9,951
bestellenGesponsorde link
Serge Autexier; Jacques Calmet; David Delahaye; P.D.F. Ion; Laurence Rideau; Renaud Rioboo; Alan Sexton:
Intelligent Computer Mathematics - eerste uitgave

2010, ISBN: 9783642141270

pocketboek

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

Verzendingskosten:Versand in 10-14 Tagen. (EUR 9.95)

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
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.

Gedetalleerde informatie over het boek. - Intelligent Computer Mathematics


EAN (ISBN-13): 9783642141270
ISBN (ISBN-10): 3642141277
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer Berlin
469 Bladzijden
Gewicht: 0,736 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2007-01-20T21:51:26+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-01-29T20:45:18+01:00 (Amsterdam)
ISBN/EAN: 3642141277

ISBN - alternatieve schrijfwijzen:
3-642-14127-7, 978-3-642-14127-0
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: jacques serge, calmet, sexton, autexier, delahaye, renaud, ion, del rio, delahay, renau, laurence david
Titel van het boek: calculemus, mkm, symposium, before the computer, paris, lecture notes mathematics, delahaye, intelligent


Gegevens van de uitgever

Auteur: Serge Autexier; Jacques Calmet; David Delahaye; P.D.F. Ion; Laurence Rideau; Renaud Rioboo; Alan Sexton
Titel: 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
Uitgeverij: Springer; Springer Berlin
471 Bladzijden
Verschijningsjaar: 2010-06-30
Berlin; Heidelberg; DE
Gewicht: 0,732 kg
Taal: Engels
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.

< naar Archief...