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

21-40 of 70     Back   1   2   3   4   Next 20
Favorite ListSimple List

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

21. Linear time unit resolution for
22. On the axiomatisation of a knowledge
23. On the complexity of the satisfiability
24. Prelude to cycle 23 the case for
25. Towards constructive induction
26. Investigations into the equivalence
27. Abductive reasoning in multiple
28. Calculation of semi-flows of PR/T-systems
29. On simplifying the matrix of a
30. An introduction to the model theory
31. Jagged bite problem NP-complete
32. Single axioms for the classical
33. A categorical view of weakest
34. Consistency and completeness of
35. Semantic modeling of data using
36. Unification in boolean rings an
37. Can fair choice be added to Dijkstra's
38. Equational characterization of
39. Resolution with merging (Report
40. Digital formulation and computational

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. Université de Paris-Sud. Centre d'Orsay. Laboratoire de Recherche en Informatique)
by Université 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 Jagielloński)
by Nakł. Uniwersytetu Jagielloń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. Université Paris-Sud. Centre d'Orsay. Laboratoire de recherche en informatique)
by Université 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 récursive    5. Recursion theory   


38. Equational characterization of Nelson algebras (Notas de lógica matemática)
by Instituto de Matemá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, Algèbre de    4. Logique multivalente    5. Logique symbolique et mathé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
Prices listed on this site are subject to change without notice.
Questions on ordering or shipping? click here for help.

Top