| Favorite List | Simple List |
click price to see details click image to enlarge click link to go to the store
| 21. Linear time unit resolution for propositional formulas--in Prolog yet (Technical report / Computer Research Laboratory, UCSC) by Computer Research Laboratory, [University of California, Santa Cruz | |
 | Unknown Binding
(1995)
Isbn: B0006QK5XK US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Computer algorithms
2. Computer simulation
3. Linear time invariant systems
4. Mathematics
5. Prolog (Computer program language)
6. Propositional calculus | |
| 22. On the axiomatisation of a knowledge representation logic (Rapports de recherche. UniversiteÌ de Paris-Sud. Centre d'Orsay. Laboratoire de Recherche en Informatique) by UniversiteÌ Paris-Sud, Laboratoire de Recherche en Informatique | |
 | Unknown Binding
(1987)
Isbn: B0007BFJXK US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Data structures (Computer science)
2. Predicate calculus | |
| 23. On the complexity of the satisfiability problem (Courant computer science report) by Courant Institute of Mathematical Sciences | |
 | Unknown Binding
(1979)
Isbn: B0006X9M46 US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Computational complexity
2. Propositional calculus | |
| 24. Prelude to cycle 23 the case for a fast-rising, large amplitude cycle (SuDoc NAS 1.60:3654) by National Aeronautics and Space Administration, Marshall Space Flight Center National Technical Information Service, distributor | |
 | Unknown Binding
(1996)
Isbn: B0001117Q4 US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Predicate calculus
2. Solar activity
3. Solar cycles
4. Sunspots | |
| 25. Towards constructive induction in first-order predicate calculus (TIRM) by Turing Institute | |
 | Unknown Binding
(1988)
Isbn: B0007BIQ4E US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Predicate calculus
2. Prolog (Computer program language) | |
| 26. Investigations into the equivalence connective (Rozprawy habilitacyjne / Uniwersytet JagiellonÌski) by NakÅ. Uniwersytetu JagiellonÌskiego | |
 | Unknown Binding
(1980)
Isbn: B0007AWYX4 US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Intuitionistic mathematics
2. Propositional calculus | |
| 27. Abductive reasoning in multiple fault diagnosis (Technical report. University of Pennsylvania. School of Engineering and Applied Science. Dept. of Computer and Information Science) by University of Pennsylvania, School of Engineering and Applied Science, Dept. of Computer and Information Science | |
 | Unknown Binding
(1987)
Isbn: B00071D76Q US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Artificial intelligence
2. Logic, Symbolic and mathematical
3. Predicate calculus | |
| 28. Calculation of semi-flows of PR/T-systems (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: B0007BGUC4 US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Predicate calculus | |
| 29. On simplifying the matrix of a wff (Report / Carnegie Institute of Technology. Dept. of Mathematics) by Carnegie Institute of Technology, Dept. of Mathematics | |
 | Unknown Binding
(1967)
Isbn: B0007HUKVU US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Logic, Symbolic and mathematical
2. Matrices
3. Predicate calculus | |
| 30. An introduction to the model theory of first-order predicate logic and a related temporal logic (Memorandum / Rand Corporation) by Rand Corp | |
 | Unknown Binding
(1969)
Isbn: B0007G05OI US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Formal languages
2. Model theory
3. Predicate calculus
4. Semantics | |
| 31. Jagged bite problem NP-complete construction (Report. University of California, Berkeley. Computer Science Division) by University of California, Berkeley, Computer Science Division | |
 | Unknown Binding
(1999)
Isbn: B0006RINJW US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Database management
2. NP-complete problems
3. Predicate calculus | |
| 32. Single axioms for the classical equivalential calculus (University of Auckland. Dept. of Mathematics. Report series) by University of Auckland, Dept. of Mathematics | |
 | Unknown Binding
(1975)
Isbn: B0007AOTOG US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Axioms
2. Propositional calculus | |
| 33. A categorical view of weakest liberal preconditions (Research report RC. International Business Machine Inc. Research Division) by International Business Machines Inc., Thomas J. Watson Research Center | |
 | Unknown Binding
(1986)
Isbn: B00070YLWG US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Computer programming
2. Predicate calculus | |
| 34. Consistency and completeness of the deduction system of Deduce by Dept. of Computer Science, University of Arizona | |
 | Unknown Binding
(1977)
Isbn: B0006XBO5G US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Computer programs
2. First-order logic
3. Predicate calculus | |
| 35. Semantic modeling of data using binary schemata (Technical report. University of California, Santa Barbara. College of Engineering. Dept. of Computer Science) by University of California, Santa Barbara, College of Engineering, Dept. of Computer Science | |
 | Unknown Binding
(1985)
Isbn: B0007180T0 US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Data structures (Computer science)
2. Predicate calculus
3. Programming languages (Electronic computers)
4. Semantics | |
| 36. Unification in boolean rings an unquantified formulae of first order predicate calculus (Technical report series. University of Manchester. Dept. of Computer Science) by University of Manchester, Dept. of Computer Science | |
 | Unknown Binding
(1986)
Isbn: B0007BGYAC US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Algebra, Boolean
2. Predicate calculus
3. Set theory | |
| 37. Can fair choice be added to Dijkstra's calculus (SRC reports) by Digital Systems Research Center | |
 | Unknown Binding
(1989)
Isbn: B00071L63M US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Estimation ponctuelle
2. Functional analysis
3. Predicate calculus
4. Programmation reÌcursive
5. Recursion theory | |
| 38. Equational characterization of Nelson algebras (Notas de loÌgica matemaÌtica) by Instituto de MatemaÌtica, Universidad Nacional del Sur | |
 | Unknown Binding
(1974)
Isbn: B0007AV8VS US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Algebra, Boolean
2. Axiomes
3. Boole, AlgeÌbre de
4. Logique multivalente
5. Logique symbolique et matheÌmatique
6. Propositional calculus | |
| 39. Resolution with merging (Report / Carnegie Institute of Technology. Dept. of Mathematics) by Carnegie Institute of Technology, Dept. of Mathematics | |
 | Unknown Binding
(1967)
Isbn: B0007HUZ1A US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Predicate calculus
2. Resolvents (Mathematics) | |
| 40. Digital formulation and computational methods for some aspects of the functional calculus of symbolic logic (Technical memorandum / Johns Hopkins University, Operations Research Office) by Operations Research Office, Johns Hopkins University | |
 | Unknown Binding
(1954)
Isbn: B0007H1I7A US | Canada | United Kingdom | Germany | France | Japan |
Subjects: 1. Logic, Symbolic and mathematical
2. Predicate calculus
3. Research
4. United States | |
| 21-40 of 70 Back 1 2 3 4 Next 20 |
Questions on ordering or shipping? click here for help.