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 - used book

EAN (ISBN-13): 9783540851097
ISBN (ISBN-10): 3540851097
Hardcover
Paperback
Publishing year: 2008
Publisher: Springer Berlin Heidelberg
600 Pages
Weight: 0,914 kg
Language: eng/Englisch

Book in our database since 2008-09-24T15:58:29+01:00 (London)
Detail page last modified on 2024-02-22T17:54:53+00:00 (London)
ISBN/EAN: 9783540851097

ISBN - alternate spelling:
3-540-85109-7, 978-3-540-85109-7
Alternate spelling and related search-keywords:
Book author: sorge, suzuki, autexier, masak, sorg, freek, john campbell, john volker, rubio, masakazu
Book title: birmingham, mathematics, july, august, proceedings the 9th international, calculemus, computer computer, mkm, symposium, 7th international, intelligent, lecture notes artificial intelligence

---

Information from Publisher

Author: Serge Autexier; John Campbell; Julio Rubio; Volker Sorge; Masakazu Suzuki; Freek Wiedijk
Title: 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
Publisher: Springer; Springer Berlin
602 Pages
Publishing year: 2008-07-16
Berlin; Heidelberg; DE
Language: English
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.