Geometry.Net - the online learning center
Home  - Theorems_And_Conjectures - Completeness Theorem
e99.com Bookstore
  
Images 
Newsgroups
21-40 of 93    Back | 1  | 2  | 3  | 4  | 5  | Next 20

         Completeness Theorem:     more books (37)
  1. Relative completeness in algebraic specifications (LFCS report series. University of Edinburgh. Dept. of Computer Science. Laboratory for Foundations of Computer Science) by Lin Huimin, 1987
  2. Analytic completeness in SL‚€ (Computer science technical report series. University of Maryland) by Jennifer Drapkin, 1986
  3. An anti-unification aproach [sic] to decide the sufficient completeness of algebraic specifications (Rapport de recherche) by H Comon, 1986
  4. Sufficient-completeness, quasi-reducibility and their complexity (Technical report. State University of New York at Albany. Dept. of Computer Science) by Deepak Kapur, 1987
  5. Using symmetry and rigidity: A simpler approach to NP-completeness proofs (Tech report) by B. M. E Moret, 1985
  6. A space searching method for checking the consistencey [sic] and completeness of a rulebase (DISCS publication) by W. W Tsang, 1987
  7. Expressiveness bounds for completeness in trace-based network proof systems (Technical report. Cornell University. Dept. of Computer Science) by Jennifer Widom, 1987
  8. Completeness results for circumscription (Computer science technical report series. University of Maryland) by Donald Perlis, 1985
  9. Completeness problems in the structural theory of automata (Mathematische Forschung) by Jürgen Dassow, 1981
  10. Completeness of resolution by transfinite induction (Report. Centrum voor Wiskunde en Informatica) by M Bezem, 1988
  11. A Concise Introduction to Mathematical Logic (Universitext) by Wolfgang Rautenberg, 2009-12-17
  12. Categoricity (University Lecture Series) by John T. Baldwin, 2009-07-24
  13. Uncountably Categorical Theories (Translations of Mathematical Monographs) by Boris Zilber, 1993-03-09
  14. Mathematical Logic: Proofs of Completeness and Incompleteness: An entry from Gale's <i>Science and Its Times</i> by Eric V. D. Luft, 2000

lists with details

21-40 of 93    Back | 1  | 2  | 3  | 4  | 5  | Next 20