18 results Refine Results
  1. 1
    by Wansing, Heinrich
    Published 1993
    Subjects
    Book
    Save to List
    Saved in:
    The logic of information structures /
  2. 2
    Published 1993
    Subjects
    Book
    Save to List
    Saved in:
    Handbook of logic in artificial intelligence and logic programming /
  3. 3
    Published 1993
    Subjects “...Artificial intelligence Congresses....”
    Conference Proceeding Book
    Save to List
    Saved in:
    Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings /
  4. 4
    by Ramsay, Allan, 1953-
    Published 1988
    Subjects “...Artificial intelligence Methodology....”
    Book
    Save to List
    Saved in:
    Formal methods in artificial intelligence /
  5. 5
    Published 1996
    Subjects “...Artificial intelligence Congresses....”
    Conference Proceeding Book
    Save to List
    Saved in:
    Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings /
  6. 6
    by Hofstadter, Douglas R., 1945-
    Published 1980
    Subjects
    Book
    Save to List
    Saved in:
    Godel, Escher, Bach : an eternal golden braid /
  7. 7
    Published 1995
    Subjects “...Artificial intelligence...”
    Book
    Save to List
    Saved in:
    Knowledge and belief in philosophy and artificial intelligence /
  8. 8
    Published 1989
    Subjects “...Artificial intelligence Congresses....”
    Conference Proceeding Book
    Save to List
    Saved in:
    Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings /
  9. 9
    by Gabbay, Dov M., 1945-
    Published 2010
    Subjects
    Book
    Save to List
    Saved in:
    Revision, acceptability and context : theoretical and algorithmic aspects /
  10. 10
    by Richards, Tom
    Published 1989
    Subjects
    Book
    Save to List
    Saved in:
    Clausal form logic : an introduction to the logic of computer reasoning /
  11. 11
    Published 1989
    Subjects “...Artificial intelligence Congresses....”
    Conference Proceeding Book
    Save to List
    Saved in:
    Methodologies for intelligent systems, 4 : proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, held October 12-14, 1989, in Charlotte, North Carolina /
  12. 12
    Published 2005
    Subjects
    Connect to electronic resource
    Electronic Book
    Save to List
    Saved in:
    Formal concept analysis foundations and applications /
  13. 13
    Published 1990
    Subjects “...Artificial intelligence Congresses....”
    Book
    Save to List
    Saved in:
    Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings /
  14. 14
    Published 1991
    Subjects “...Artificial intelligence Congresses....”
    Conference Proceeding Book
    Save to List
    Saved in:
    Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings /
  15. 15
    Published 1996
    Subjects
    Book
    Save to List
    Saved in:
    Logic, action, and information : essays on logic in philosophy and artificial intelligence /
  16. 16
    Published 2008
    Subjects
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal concept analysis 6th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 : proceedings /
  17. 17
    Published 2005
    Subjects
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005 : proceedings /
  18. 18
    Published 2006
    Subjects
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006 : proceedings /

Search Tools: