106 followers
Formal and informal proofs | https://t.co/qQzzvR3EtN
Automated Reasoning
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 A Biographical Sketch of W. W. Bledsoe
-
Altmetric BadgeChapter 2 METEORs: High Performance Theorem Provers using Model Elimination
-
Altmetric BadgeChapter 3 The Metatheorist: Automatic Proofs of Theorems in Analysis Using Non-Standard Techniques, Part II
-
Altmetric BadgeChapter 4 Perspectives on Automated Deduction
-
Altmetric BadgeChapter 5 MJRTY—A Fast Majority Vote Algorithm
-
Altmetric BadgeChapter 6 How the Brain Adjusts Synapses—Maybe
-
Altmetric BadgeChapter 7 The Use of Proof Plans for Normalization
-
Altmetric BadgeChapter 8 What Are the Limitations of the Situation Calculus?
-
Altmetric BadgeChapter 9 Reasoning in Paraconsistent Logics
-
Altmetric BadgeChapter 10 Compiling Recursive Functional Prolog Programs with List Structure into Procedural Languages
-
Altmetric BadgeChapter 11 Aligning Multiple RNA Sequences
-
Altmetric BadgeChapter 12 Similarity, Uncertainty and Case-Based Reasoning in Patdex
-
Altmetric BadgeChapter 13 Formal and Informal Proofs
-
Altmetric BadgeChapter 14 PTTP and Linked Inference
-
Altmetric BadgeChapter 15 Automated Reasoning and Bledsoe’s Dream for the Field