Filters
Advanced Search Browse by Genre

Found 95 results for "Predicate calculus"

Model theory for modal logic
Model theory for modal logic

by Kenneth A. Bowen

1979 1 ed.
Modality (Logic) Model theory Predicate calculus
An introduction to the model theory of first-order predicate logic and a related temporal logic
An introduction to the model theory of first-order predicate...

by Rob Mattison

1969 1 ed.
Model theory Predicate calculus Formal languages
The (new) turing omnibus
The (new) turing omnibus

by A.K. Dewdney

A program specifies in the exact syntax of some programming language the computation one expects a computer to perform.

1993 2 ed.
Electronic data processin... Computers Computer science
An introduction to the model theory of first-order predicate logic and a related temporal logic
An introduction to the model theory of first-order predicate...

by Robert Mattison

1968 1 ed.
Formal languages Model theory Predicate calculus
Some bounds on the complexity of predicate recognition by finite automata
Some bounds on the complexity of predicate recognition by fi...

by Y. Breitbart

1974 1 ed.
Computational complexity Predicate calculus Sequential machine theory
Discrete mathematical structures with applications to computer science
Discrete mathematical structures with applications to comput...

by Jean-Paul Tremblay

1975 1 ed.
Machine theory Mathematics Electronic data processin...
Beginning logic
Beginning logic

by E. J. Lemmon

It is not easy, and perhaps not even useful, to explain briefly what logic is.

1965 9 ed.
Predicate calculus Textbooks Logic
Libraries of the future
Libraries of the future

by J. C. R. Licklider

1965 1 ed.
Forecasting Library science Information technology
Language & grammar
Language & grammar

by C. Casadio, Philip J. Scott

2005 4 ed.
Lambda calculus Grammatical categories Categorial grammar
Algebraicheskie logiki, implikativnai︠a︡ i predikatnai︠a︡ algebry vybora v zadachakh nauki i tekhniki
Algebraicheskie logiki, implikativnai︠a︡ i predikatnai︠a︡ al...

by International Conference "Continual algebraic logic, calculus and neuralinformatics in science, technics and economics" (2003 Ulʹi︠a︡novsk, Russia)

2003 1 ed.
Algebraic logic Congresses Algebra
A decidable sequent calculus theorem prover using controlled contraction
A decidable sequent calculus theorem prover using controlled...

by Padric Daugherty

1988 1 ed.
Predicate calculus Decidability (Mathematica... Proof theory
Foundations of software science and computation structures
Foundations of software science and computation structures

by FOSSACS 2000 (2000 Berlin, Germany)

2000 2 ed.
Congresses System analysis Computer software
Theory of Computer Science
Theory of Computer Science

by K.L.P. Mishra, N. Chandrashekaran

2004 1 ed.
General Theory of Computi...
Logic in Computer Science
Logic in Computer Science

by Mark Ryan

1999 4 ed.
Logic programming Computer logic Computers & the inter...
The Turing omnibus
The Turing omnibus

by A.K. Dewdney

1989 1 ed.
Informatique Toepassingen Informatik
Subsystems of second-order arithmetic
Subsystems of second-order arithmetic

by Stephen G. Simpson

1999 3 ed.
Predicate calculus Calculus
Lógica para computación
Lógica para computación

by Francisco S. Naishtat

1986 1 ed.
Logic programming Propositional calculus Formal languages
Lógica
Lógica

by Leônidas Hegenberg

1973 1 ed.
Predicate calculus
A Teaching Companion to Lemmon's Beginning Logic
A Teaching Companion to Lemmon's Beginning Logic

by George F. Schumm

1979 1 ed.
Propositional calculus Predicate calculus Logic
Normalformen aufzählbarer Prädikate
Normalformen aufzählbarer Prädikate

by Michael Deutsch

1968 1 ed.
Predicate calculus