Showing 1 - 20 results of 581 for search '', query time: 0.21s Refine Results
  1. 1
    An object-based logic programming language /
    Link to OAKTrust copy
    Thesis eBook
  2. 2
    6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 /
    Published 1982
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  3. 3
    First-order dynamic logic /
    by Harel, David, 1950-
    Published 1979
    Connect to the full text of this electronic book
    eBook
  4. 4
    Logic of programs : workshop, ETH Zürich, May-July 1979 /
    Published 1981
    Connect to the full text of this electronic book
    eBook
  5. 5
    5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 /
    Published 1980
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  6. 6
    Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers /
    Published 1994
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  7. 7
    Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /
    Published 1994
    Connect to the full text of this electronic book
    eBook
  8. 8
    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
  9. 9
    Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers /
    Published 1995
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  10. 10
    Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers /
    Published 1995
    Connect to the full text of this electronic book
    eBook
  11. 11
    Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings /
    Published 1996
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  12. 12
    Logics in artificial intelligence : European Workshop, JELIA '96, Évora, Portugal, September 30-October 3, 1996, proceedings /
    Published 1996
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  13. 13
    Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /
    Published 1996
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  14. 14
    Logical foundations of computer science : 4th international symposium, LFCS ʼ97, Yaroslavl, Russia, July 6-12, 1997 : proceedings /
    Published 1997
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  15. 15
    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
  16. 16
    Grammatical inference : 4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings /
    Published 1998
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  17. 17
    Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings /
    Published 1998
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  18. 18
    Artificial intelligence and symbolic computation : International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings /
    Published 1998
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  19. 19
    The argument of the Tractatus : its relevance to contemporary theories of logic, language, mind, and philosophical truth /
    by McDonough, Richard M., 1950-
    Published 1986
    Connect to the full text of this electronic book
    eBook
  20. 20
    Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings /
    Published 2000
    Conference Proceeding eBook
Search Tools: RSS Feed – Email Search