scientific article
From MaRDI portal
Publication:3890137
zbMath0445.68068MaRDI QIDQ3890137
Publication date: 1979
Full work available at URL: https://eudml.org/doc/27344
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveyformal theoriesstatistical deducibility testingresolution-based theorem-provingstatistical theorem proving
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Applications of statistics (62P99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Mechanization of proofs and logical operations (03B35) Proof theory and constructive mathematics (03F99)
Related Items (2)
Cites Work
- A logical theory of robot problem solving
- Untersuchungen über das logische Schliessen. II
- A Proof Method for Quantification Theory: Its Justification and Realization
- On Fuzzy Logic I Many‐valued rules of inference
- A Machine-Oriented Logic Based on the Resolution Principle
- Fuzzy sets
- On a Formalism Which Makes any Sequence of Symbols Well-Formed
- A Computing Procedure for Quantification Theory
- A probabilistic machine for the estimation of provability in the first order predicate calculus
- Fuzzy Logic and the Resolution Principle
- Statistical Studies of Theoremhood in Classical Propositional and First Order Predicate Calculus
- An Unsolvable Problem of Elementary Number Theory
- On Computable Numbers, with an Application to the Entscheidungsproblem
- Statistical Decision Functions
- Formal Reductions of the General Combinatorial Decision Problem
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication:
