파운드북스

로그인 주문 조회 장바구니기업 기관 구매

‘Predicate calculus’ 검색 결과

20건

Two papers on the predicate calculus

Stephen Cole Kleene, 1952 / 판 3개

Propositional and Predicate Calculus

Derek Goldrei, 2005 / 판 2개

Predicate calculus and program semantics

Edsger Wybe Dijkstra, 1990

Mathematical logic

René Cori, Rene Cori, Daniel Lascar, 2000 / 판 3개

Predicate calculus and program semantics

Edsger Wybe Dijkstra, 1990

Predicate Calculus and Program Semantics

Edsger Wybe Dijkstra, 1990

Predicate Calculus and Program Semantics

Edsger Wybe Dijkstra, Carel S. Scholten, 2011

Induction of concepts in the predicate calculus

Steven A. Vere, 1975

Automatic proofs for theorems on predicate calculus

Sueli Mendes dos Santos, 1972

Complete problems in the first-order predicate calculus

David A. Plaisted, 1979

The statistical estimation of provability in the first order predicate calculus

S. Christiaan van Westrhenen, 1969

Two Papers on the Predicate Calculus (Memoirs of the American Mathematical Society , Vol 1)

Stephen C. Kleene, Stephen C. Keene, 1997

On the generation of an English description of a picture from a predicate calculus representation

Matthew S. Dryer, 1973

Mathematical Logic - A Course with Exercises Pt. 1

Rene Cori, D. Lascar, Donald H. Pelletier, 2001

Distributive normal forms in the calculus of predicates

Jaakko Hintikka, 1953

Distributive normal forms in the calculus of predicates

Jaakko Hintikka, 1953

Algebraic logic and predicate functors

Willard Van Orman Quine, 1971 / 판 2개

Predicate-oriented database search algorithms

Dan E. Willard, 1978 / 판 2개

Hierarchies of predicates of finite types

D. A. Clarke, 1964

Model theory for modal logic

Kenneth A. Bowen, 1979

찾는 책이 없나요?

제목이나 표지 사진만 주셔도 찾아 드립니다. 여러 권이면 기업 기관 구매에서 목록째 넣으실 수 있습니다.

찾아 달라고 하기 목록 넣기