Showing 1 - 20 results of 86 for search '', query time: 0.25s Refine Results
  1. 1
    Logic and data bases /
    Published 1978
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  2. 2
    Types for proofs and programs : international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers /
    Published 1999
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  3. 3
    Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings /
    Published 2000
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  4. 4
    Automated deduction in classical and non-classical logics : selected papers /
    Published 2000
    Connect to the full text of this electronic book
    eBook
  5. 5
    A formal background to mathematics /
    Connect to the full text of this electronic book
    eBook
  6. 6
    Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings /
    Published 1999
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  7. 7
    Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings /
    Published 2003
    Conference Proceeding Book
  8. 8
    Handbook of philosophical logic /
    Published 2001
    Book
  9. 9
    Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings /
    Published 2002
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  10. 10
    Handbook of philosophical logic /
    Published 2001
    Connect to the full text of this electronic book
    eBook
  11. 11
    Urteilstheorie : Vorlesung 1905 /
    by Husserl, Edmund, 1859-1938
    Published 2002
    Publisher description
    Table of contents only
    Book
  12. 12
    Alte und neue Logik : Vorlesung 1908/09 /
    by Husserl, Edmund, 1859-1938
    Published 2003
    Book
  13. 13
    From a logical point of view ; 9 logico-philosophical essays.
    Book
  14. 14
    Grammatical inference and applications : second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings /
    Published 1994
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  15. 15
    Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings /
    Published 2003
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  16. 16
    CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings /
    Published 1988
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  17. 17
    Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht /
    Published 1997
    Connect to the full text of this electronic book
    eBook
  18. 18
    Finite model theory /
    Connect to the full text of this electronic book
    eBook
  19. 19
    Logical aspects of computational linguistics : 4th international conference, LACL 2001, Le Croisic, France, June 27-29 2001 : proceedings /
    Published 2001
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  20. 20
    Control using logic-based switching /
    Published 1997
    Connect to the full text of this electronic book
    eBook
Search Tools: RSS Feed – Email Search