| Favorite List | Simple 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 (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 GoÌ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 |
Questions on ordering or shipping? click here for help.