Books Online Store Global Online Shopping Center UK | Germany
apparel   jewelry   musical instruments   beauty   health   sports   office  
books   baby   camera   computers   dvd   games   electronics   garden   kitchen   magazines   music   phones   software   tools   toys   video  
 Help  
Books - Science - Mathematics - Pure Mathematics - Predicate & Propositional Calculus

61-70 of 70     Back   1   2   3   4
Favorite ListSimple List

click price to see details     click image to enlarge     click link to go to the store

61. [Note on a problem of Paul Bernays
62. On the semantics of infinite computations
63. Simultaneous construction of refutations
64. Embedding first order predicate
65. A logical-form and knowledge-base
66. Program verification in a logical
67. On quantification (Stony Brook
68. Extensions to the logical inference
69. A logic for partial functions
70. Algebraic decomposition of non-convex

61. [Note on a problem of Paul Bernays (Journal of symbolic logic. [Offprint])
by [s.n.]
Unknown Binding (1955)

Isbn: B0007KG656
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Logic, Symbolic and mathematical    2. Propositional calculus   


62. On the semantics of infinite computations in logic programs (Research reports on information sciences)
by Tokyo Institute of Technology, Dept. of Information Science
Unknown Binding (1985)

Isbn: B0007BH0T6
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Predicate calculus    2. Programming languages (Electronic computers)    3. Semantics   


63. Simultaneous construction of refutations and models for propositional formulas (Technical report / Computer Research Laboratory, UCSC)
by Computer Research Laboratory, [University of California, Santa Cruz
Unknown Binding (1995)

Isbn: B0006QK99U
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Computer simulation    2. Mathematics    3. Propositional calculus    4. Refutation (Logic)   


64. Embedding first order predicate logic in fragments of intuitionistic logic (Report - Mathematisch Instituut)
by Mathematisch Instituut, University of Amsterdam
Unknown Binding (1975)

Isbn: B0007AKQ7K
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Predicate calculus    2. Propositional calculus   


65. A logical-form and knowledge-base design for natural language generation (ISI reprint series. University of Southern California. Information Sciences Institute)
by University of Southern California, Information Sciences Institute
Unknown Binding (1986)

Isbn: B00071F7UA
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Computational linguistics    2. Predicate calculus   


66. Program verification in a logical theory of constructions (Report. Programming Methodology Group / University of Göteborg and Chalmers University of Technology)
by Programming Methodology Group
Unknown Binding (1986)

Isbn: B0007BGYQ6
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Constructive mathematics    2. Predicate calculus    3. Type theory   


67. On quantification (Stony Brook working papers)
by Economic Research Bureau, State University of New York
Unknown Binding (1972)

Isbn: B0006XAFII
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Predicate calculus   


68. Extensions to the logical inference model (Information technology technical report)
by CSIRO, Division of Information Technology
Unknown Binding (1989)

Isbn: B0007CAGIC
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Decision making (Mathematical models)    2. Inference    3. Predicate calculus   


69. A logic for partial functions (Technical report series. University of Manchester. Dept. of Computer Science)
by University of Manchester. Dept. of Computer Science
Unknown Binding (1986)

Isbn: B0007BGYAM
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Computer software    2. Logic, Symbolic and mathematical    3. Predicate calculus   


70. Algebraic decomposition of non-convex polyhedra (Report)
by Dept. of Computer Science, University of Illinois at Urbana-Champaign
Unknown Binding (1995)

Isbn: B0006QB6ZQ
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Decomposition method    2. Machine theory    3. Normal varieties (Algebraic geometry)    4. Predicate calculus   


61-70 of 70     Back   1   2   3   4
Prices listed on this site are subject to change without notice.
Questions on ordering or shipping? click here for help.

Top