↓ Skip to main content

Mechanizing Mathematical Reasoning

Overview of attention for book
Cover of 'Mechanizing Mathematical Reasoning'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Portrait of a Scientist: Logic, AI and Politics
  3. Altmetric Badge
    Chapter 2 Some Reflections on Proof Transformations
  4. Altmetric Badge
    Chapter 3 R ewrite and D ecision Procedure L aboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation
  5. Altmetric Badge
    Chapter 4 SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective
  6. Altmetric Badge
    Chapter 5 Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology
  7. Altmetric Badge
    Chapter 6 Footprints of Conditionals
  8. Altmetric Badge
    Chapter 7 Time for Thinking Big in AI
  9. Altmetric Badge
    Chapter 8 Solving First-Order Constraints over the Monadic Class
  10. Altmetric Badge
    Chapter 9 From MKRP to Ω MEGA
  11. Altmetric Badge
    Chapter 10 Decidable Variants of Higher-Order Unification
  12. Altmetric Badge
    Chapter 11 Normal Natural Deduction Proofs (in Non-classical Logics)
  13. Altmetric Badge
    Chapter 12 History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie!
  14. Altmetric Badge
    Chapter 13 The Flowering of Automated Reasoning
  15. Altmetric Badge
    Chapter 14 Description Logics as Ontology Languages for the Semantic Web
  16. Altmetric Badge
    Chapter 15 Living Books, Automated Deduction and Other Strange Things
  17. Altmetric Badge
    Chapter 16 An Essay on Sabotage and Obstruction
  18. Altmetric Badge
    Chapter 17 Bridging Theorem Proving and Mathematical Knowledge Retrieval
  19. Altmetric Badge
    Chapter 18 Formal Description of Natural Languages: An HPSG Grammar of Polish
  20. Altmetric Badge
    Chapter 19 Psychological Validity of Schematic Proofs
  21. Altmetric Badge
    Chapter 20 Natural Language Proof Explanation
  22. Altmetric Badge
    Chapter 21 Why Proof Planning for Maths Education and How?
  23. Altmetric Badge
    Chapter 22 Towards MultiMedia Instruction in Safe and Secure Systems
  24. Altmetric Badge
    Chapter 23 The Impact of Models in Software Development
  25. Altmetric Badge
    Chapter 24 Formal Software Development in MAYA
  26. Altmetric Badge
    Chapter 25 A Unification Algorithm for Analysis of Protocols with Blinded Signatures
  27. Altmetric Badge
    Chapter 26 Exploiting Generic Aspects of Security Models in Formal Developments
  28. Altmetric Badge
    Chapter 27 Verification Support Environment
  29. Altmetric Badge
    Chapter 28 SAT-Based Cooperative Planning: A Proposal
  30. Altmetric Badge
    Chapter 29 Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots
  31. Altmetric Badge
    Chapter 30 Agents with Exact Foreknowledge
  32. Altmetric Badge
    Chapter 31 Self-organisation in Holonic Multiagent Systems
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 tweeter

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
4 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Mechanizing Mathematical Reasoning
Published by
Springer Berlin Heidelberg, March 2011
DOI 10.1007/b106663
ISBNs
978-3-54-025051-7, 978-3-54-032254-2
Editors

Hutter, Dieter, Stephan, Werner

Twitter Demographics

The data shown below were collected from the profile of 1 tweeter who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

The data shown below were compiled from readership statistics for 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Austria 1 25%
Unknown 3 75%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 1 25%
Student > Bachelor 1 25%
Lecturer 1 25%
Student > Master 1 25%
Readers by discipline Count As %
Computer Science 3 75%
Business, Management and Accounting 1 25%