| Favorite List | Simple List |
click price to see details click image to enlarge click link to go to the store
| 41. Connection graphs and decidable theories (Cognitive science research reports) by University of Sussex, School of Cognitive Science, Cognitive Studies Programme | |
 | Unknown Binding
(1987)
Isbn: B0007BK6D8 US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Automatic theorem proving
2. Graph theory
3. Predicate calculus | |
| 42. Introduction to mathematical theory of computation by MacGraw-Hill | |
 | Unknown Binding
(1972)
Isbn: B00072VPHS US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Computable functions
2. Electronic digital computers
3. Machine theory
4. Predicate calculus
5. Programming
6. Turing machines | |
| 43. Logic 1: Propositional logic by Institute of Sonology, State University Utrecht | |
 | Unknown Binding
(1976)
Isbn: B0007AZWJ2 US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Logic, Symbolic and mathematical
2. Proposition (Logic)
3. Propositional calculus | |
| 44. The propositional dynamic logic of deterministic, well-structured programs (MIT/laboratory for computer science technical memoranda) by Massachusetts Institute of Technology, Laboratory for Computer Science | |
 | Unknown Binding
(1981)
Isbn: B0006XUHZY US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Logic, Symbolic and mathematical
2. Predicate calculus
3. Programming (Mathematics) | |
| 45. On the lengths of proofs in the propositional calculus by Department of Computer Science, University of Toronto | |
 | Unknown Binding
(1975)
Isbn: B0007AL9UI US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Propositional calculus | |
| 46. [Note on a modal system of Feys-von Wright (Journal of computing systems. [Offprint]) by [s.n.] | |
 | Unknown Binding
(1953)
Isbn: B0007I8OFS US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Modality (Logic)
2. Propositional calculus | |
| 47. Some computational aspects of an order-sorted calculus: Order-sorted unification using compact representation of clauses (Rapport de recherche / Informatique ... et MatheÌmatiques AppliqueÌes de Grenoble) by IMAG, Informatique et MatheÌmatiques AppliqueÌes de Grenoble | |
 | Unknown Binding
(1988)
Isbn: B0007BNKVI US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Predicate calculus | |
| 48. A satisfiability tester for non-clausal propositional calculus (Report / Department of Computer Science, Stanford University) by Department of Computer Science, Stanford University | |
 | Unknown Binding
(1984)
Isbn: B00072H77K US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Algorithms
2. Propositional calculus
3. Testing | |
| 49. A categorical treatment of pre- and post-conditions (Research Report RC. International Business Machines Inc. Research Division) by International Business Machines Inc., Thomas J. Watson Research Center | |
 | Unknown Binding
(1986)
Isbn: B00070ZE36 US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Computer programs
2. Predicate calculus | |
| 50. On the single axioms of protothetic (Notre Dame journal of formal logic. [Offprint]) by Notre Dame | |
 | Unknown Binding
(1960)
Isbn: B0007I8OG2 US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Logic, Symbolic and mathematical
2. Propositional calculus | |
| 51. Essays in matrix semantics of relevant logics by Institute of Philosophy and Sociology, Polish Academy of Sciences | |
 | Unknown Binding
(1980)
Isbn: B0007B4292 US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Entailment (Logic)
2. Logic, Symbolic and mathematical
3. Predicate calculus | |
| 52. Propositional logic: A student introduction (Aston educational enquiry monograph) by Dept. of Educational Enquiry, University of Aston in Birmingham | |
 | Unknown Binding
(1976)
Isbn: B0007AMNR6 US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Problems, exercises, etc
2. Proposition (Logic)
3. Propositional calculus | |
| 53. Model-theoretic methods in methodology of propositional calculi by Polish Academy of Sciences, Institute of Philosophy and Sociology | |
 | Unknown Binding
(1980)
Isbn: B0007B0UCK US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Propositional calculus | |
| 54. Describing graphs: A first-order approach to graph canonization (Technical report. Yale University. Dept. of Computer Science) by Yale University, Dept. of Computer Science | |
 | Unknown Binding
(1988)
Isbn: B00071DF6I US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Algorithms
2. Combinatorial analysis
3. Graph theory
4. Logic, Symbolic and mathematical
5. Predicate calculus | |
| 55. A logic form data and knowledge bases (Rapports de recherche. UniversiteÌ Paris-Sud. Centre d'Orsay. Laboratoire de recherche en informatique) by UniversiteÌ de Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique | |
 | Unknown Binding
(1986)
Isbn: B0007BH59G US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Data structures (Computer science)
2. Predicate calculus | |
| 56. A rigorous logic basis for the science of programming / by P.A. Collier and C.A. Lakos by Dept. of Information Science, University of Tasmania ; | |
 | Unknown Binding
(1984)
Isbn: B0007BSAEA US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Predicate calculus
2. Programming languages (Electronic computers)
3. Semantics | |
| 57. Using symmetry and substitution in program derivation (Uppsala University. Computing Science Dept., Uppsala Programming Methodology and Artificial Intelligence Laboratory. UPMAIL technical report) by Uppsala University, Computing Science Dept., Uppsala Programming Methodology and Artificial Intelligence Laboratory | |
 | Unknown Binding
(1985)
Isbn: B0007BH6YA US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Logic programming
2. Logic, Symbolic and mathematical
3. Predicate calculus | |
| 58. Six lectures on dynamic logic (MIT/ Laboratory for Computer Science Technical Memoranda) by Massachusetts Institute of Technology, Laboratory for Computer Science | |
 | Unknown Binding
(1979)
Isbn: B0006XTSKO US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Data processing
2. Logic, Symbolic and mathematical
3. Mathematics
4. Predicate calculus
5. Propositional calculus | |
| 59. Math 125 B: Math notes by Dept. of Mathematics, University of California | |
 | Unknown Binding
(1963)
Isbn: B0007H2C52 US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Predicate calculus | |
| 60. Propositional dynamic logics of programs: A survey (MIT/laboratory for computer science technical memoranda) by Massachusetts Institute of Technology, Laboratory for Computer Science | |
 | Unknown Binding
(1981)
Isbn: B0006XUHMW US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Algebra
2. Logic, Symbolic and mathematical
3. Predicate calculus
4. Programming (Mathematics) | |
| 41-60 of 70 Back 1 2 3 4 Next 20 |
Questions on ordering or shipping? click here for help.