Intelligent Computer Mathematics 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings - gebrauchtes Buch
2008, ISBN: 9783540851097
[PU: Springer Berlin], Neubindung, Buchrücken, -ecken u. -kanten leicht angestossen 4564564/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2008, Banküberweisung, Kreditkar… Mehr…
booklooker.de |
2008, ISBN: 9783540851097
*Intelligent Computer Mathematics* - 9th International Conference AISC 2008 15th Symposium Calculemus 2008 7th International Conference MKM 2008 Birmingham UK July 28 - August 1 2008 Proc… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 ... / Lecture Notes in Artificial Intelligence) - Taschenbuch
2008, ISBN: 9783540851097
Springer, 2008-08-27. 2008. Paperback. Used:Good., Springer, 2008-08-27, 0
Biblio.co.uk |
2008, ISBN: 9783540851097
Taschenbuch
9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings, Buch, Softcover, [PU:… Mehr…
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
Intelligent Computer Mathematics: 9Th International Conference, Aisc 2008 15Th Symposium - neues Buch
2008, ISBN: 9783540851097
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!, 6
Biblio.co.uk |
Intelligent Computer Mathematics 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings - gebrauchtes Buch
2008, ISBN: 9783540851097
[PU: Springer Berlin], Neubindung, Buchrücken, -ecken u. -kanten leicht angestossen 4564564/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2008, Banküberweisung, Kreditkar… Mehr…
2008, ISBN: 9783540851097
*Intelligent Computer Mathematics* - 9th International Conference AISC 2008 15th Symposium Calculemus 2008 7th International Conference MKM 2008 Birmingham UK July 28 - August 1 2008 Proc… Mehr…
Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 ... / Lecture Notes in Artificial Intelligence) - Taschenbuch
2008
ISBN: 9783540851097
Springer, 2008-08-27. 2008. Paperback. Used:Good., Springer, 2008-08-27, 0
2008, ISBN: 9783540851097
Taschenbuch
9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings, Buch, Softcover, [PU:… Mehr…
Intelligent Computer Mathematics: 9Th International Conference, Aisc 2008 15Th Symposium - neues Buch
2008, ISBN: 9783540851097
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!, 6
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Intelligent Computer Mathematics
EAN (ISBN-13): 9783540851097
ISBN (ISBN-10): 3540851097
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2008
Herausgeber: Springer Berlin Heidelberg
600 Seiten
Gewicht: 0,914 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2008-09-24T16:58:29+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-22T18:54:53+01:00 (Berlin)
ISBN/EAN: 9783540851097
ISBN - alternative Schreibweisen:
3-540-85109-7, 978-3-540-85109-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: sorge, suzuki, autexier, masak, sorg, freek, john campbell, john volker, rubio, masakazu
Titel des Buches: birmingham, mathematics, july, august, proceedings the 9th international, calculemus, computer computer, mkm, symposium, 7th international, intelligent, lecture notes artificial intelligence
Daten vom Verlag:
Autor/in: Serge Autexier; John Campbell; Julio Rubio; Volker Sorge; Masakazu Suzuki; Freek Wiedijk
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Intelligent Computer Mathematics - 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings
Verlag: Springer; Springer Berlin
602 Seiten
Erscheinungsjahr: 2008-07-16
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIV, 602 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Artificial intelligence; ants; computer; computer algebra; intelligence; knowledge; knowledge management; proving; Artificial Intelligence; Computer Communication Networks; Theory of Computation; Data Mining and Knowledge Discovery; Computer and Information Systems Applications; Symbolic and Algebraic Manipulation; Netzwerk-Hardware; Theoretische Informatik; Data Mining; Wissensbasierte Systeme, Expertensysteme; Angewandte Informatik; Mathematik für Informatiker; EA
Contributions to AISC 2008.- Symmetry and Search – A Survey.- On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra.- Applying Link Grammar Formalism in the Development of English-Indonesian Machine Translation System.- Case Studies in Model Manipulation for Scientific Computing.- Mechanising a Proof of Craig’s Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle.- AISC Meets Natural Typography.- The Monoids of Order Eight and Nine.- Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation.- A Full First-Order Constraint Solver for Decomposable Theories.- Search Techniques for Rational Polynomial Orders.- Strategies for Solving SAT in Grids by Randomized Search.- Towards an Implementation of a Computer Algebra System in a Functional Language.- Automated Model Building: From Finite to Infinite Models.- A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple.- On the Construction of Transformation Steps in the Category of Multiagent Systems.- Increasing Interpretations.- Contributions to Calculemus 2008.- Validated Evaluation of Special Mathematical Functions.- MetiTarski: An Automatic Prover for the Elementary Functions.- High-Level Theories.- Parametric Linear Arithmetic over Ordered Fields in Isabelle/HOL.- A Global Workspace Framework for Combining Reasoning Systems.- Effective Set Membership in Computer Algebra and Beyond.- Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems.- Symbolic Computation Software Composability.- Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server.- Automating Side Conditions in Formalized Partial Functions.- Combining Isabelleand QEPCAD-B in the Prover’s Palette.- Contributions to MKM 2008.- Digital Mathematics Libraries: The Good, the Bad, the Ugly.- Automating Signature Evolution in Logical Theories.- A Tactic Language for Hiproofs.- Logic-Free Reasoning in Isabelle/Isar.- A Mathematical Type for Physical Variables.- Unit Knowledge Management.- Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors.- Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar.- Specifying Strategies for Exercises.- Mediated Access to Symbolic Computation Systems.- Herbrand Sequent Extraction.- Visual Mathematics: Diagrammatic Formalization and Proof.- Normalization Issues in Mathematical Representations.- Notations for Living Mathematical Documents.- Cross-Curriculum Search for Intergeo.- Augmenting Presentation MathML for Search.- Automated Classification and Categorization of Mathematical Knowledge.- Kantian Philosophy of Mathematics and Young Robots.- Transforming the ar?iv to XML.- On Correctness of Mathematical Texts from a Logical and Practical Point of View.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783319425474 Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings Michael Kohlhase Editor (Bruce Miller, Frank Tompa, Leonardo de Moura, Michael Kohlhase, Moa Johansson)
- 9783319425474 Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings Michael Kohlhase Editor (Bruce Miller, Frank Tompa, Leonardo de Moura, Michael Kohlhase, Moa Johansson)
- 9783319206158 Intelligent Computer Mathematics (Springer)
- 9783540851103 Intelligent Computer Mathematics (Springer)
- Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings (Lecture Notes in Computer Science Book 9791) (English Edition) (Manfred Kerber)
< zum Archiv...