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 - libro usado

EAN (ISBN-13): 9783540851097
ISBN (ISBN-10): 3540851097
Tapa dura
Tapa blanda
Año de publicación: 2008
Editorial: Springer Berlin Heidelberg
600 Páginas
Peso: 0,914 kg
Idioma: eng/Englisch

Libro en la base de datos desde 2008-09-24T09:58:29-05:00 (Mexico City)
Página de detalles modificada por última vez el 2024-02-22T11:54:53-06:00 (Mexico City)
ISBN/EAN: 9783540851097

ISBN - escritura alterna:
3-540-85109-7, 978-3-540-85109-7
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: sorge, suzuki, autexier, masak, sorg, freek, john campbell, john volker, rubio, masakazu
Título del libro: birmingham, mathematics, july, august, proceedings the 9th international, calculemus, computer computer, mkm, symposium, 7th international, intelligent, lecture notes artificial intelligence

---

Datos del la editorial

Autor: Serge Autexier; John Campbell; Julio Rubio; Volker Sorge; Masakazu Suzuki; Freek Wiedijk
Título: 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
Editorial: Springer; Springer Berlin
602 Páginas
Año de publicación: 2008-07-16
Berlin; Heidelberg; DE
Idioma: Inglés
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.