Filters
Advanced Search Browse by Genre

Found 95 results for "Predicate calculus"

Two papers on the predicate calculus
Two papers on the predicate calculus

by Stephen Cole Kleene

1952 3 ed.
Calculus Mathematics Philosophy
Propositional and Predicate Calculus
Propositional and Predicate Calculus

by Derek Goldrei

2005 2 ed.
Problems, exercises Propositional calculus Predicate calculus
Predicate calculus and program semantics
Predicate calculus and program semantics

by Edsger Wybe Dijkstra

1990 1 ed.
Predicate Calculus and Program Semantics
Predicate Calculus and Program Semantics

by Edsger Wybe Dijkstra

1990 1 ed.
Logic design Computer science Programming languages (el...
Predicate Calculus and Program Semantics
Predicate Calculus and Program Semantics

by Edsger Wybe Dijkstra, Carel S. Scholten

2011 1 ed.
Predicate calculus and program semantics
Predicate calculus and program semantics

by Edsger Wybe Dijkstra

1990 1 ed.
Predicate calculus Programming languages (El... Semantics
Induction of concepts in the predicate calculus
Induction of concepts in the predicate calculus

by Steven A. Vere

1975 1 ed.
Automatic proofs for theorems on predicate calculus
Automatic proofs for theorems on predicate calculus

by Sueli Mendes dos Santos

1972 1 ed.
Automatic theorem proving Predicate calculus SNOBOL (Computer program ...
Complete problems in the first-order predicate calculus
Complete problems in the first-order predicate calculus

by David A. Plaisted

1979 1 ed.
Computational complexity Predicate calculus
The statistical estimation of provability in the first order predicate calculus
The statistical estimation of provability in the first order...

by S. Christiaan van Westrhenen

1969 1 ed.
Predicate calculus Statistical decision
Two Papers on the Predicate Calculus (Memoirs of the American Mathematical Society , Vol 1)
Two Papers on the Predicate Calculus (Memoirs of the America...

by Stephen C. Kleene, Stephen C. Keene

1997 1 ed.
Calculus Mathematics Science/Mathematics
On the generation of an English description of a picture from a predicate calculus representation
On the generation of an English description of a picture fro...

by Matthew S. Dryer

1973 1 ed.
Mathematical logic
Mathematical logic

by René Cori, Rene Cori

2000 3 ed.
Symbolic and mathematical... Logic Wiskundige logica
Mathematical Logic - A Course with Exercises Pt. 1
Mathematical Logic - A Course with Exercises Pt. 1

by Rene Cori, D. Lascar

2001 1 ed.
Distributive normal forms in the calculus of predicates
Distributive normal forms in the calculus of predicates

by Jaakko Hintikka

1953 1 ed.
Symbolic and mathematical...
Distributive normal forms in the calculus of predicates
Distributive normal forms in the calculus of predicates

by Jaakko Hintikka

1953 1 ed.
Logic
Discrete mathematics
Discrete mathematics

by Kenneth A. Ross

1985 11 ed.
Informatique Problems, exercises Textbooks
Algebraic logic and predicate functors
Algebraic logic and predicate functors

by Willard Van Orman Quine

1971 2 ed.
Functor theory Logic, Symbolic and mathe... Predicate calculus
Predicate-oriented database search algorithms
Predicate-oriented database search algorithms

by Dan E. Willard

1978 2 ed.
Computer algorithms Database management Information storage and r...
Hierarchies of predicates of finite types
Hierarchies of predicates of finite types

by D. A. Clarke

1964 1 ed.
Number theory Recursive functions Predicate calculus