Suggested Topics within your search.
Showing 1 - 2 results of 2 for search '' Refine Results
  1. 1
    Logic programming and automated reasoning 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings
    by Pfenning Frank
    Published 1994
    Book
  2. 2
    Formal methods in artificial intelligence
    by Ramsay Allan 1953-
    Published 1991
    Book
Search Tools: RSS Feed – Email Search