3 results Refine Results
  1. 1
    by Kowalski, Robert
    Published 1979
    Book
    Save to List
    Saved in:
    Logic for problem solving /
  2. 2
    by Kowalski, Robert
    Published 2011
    Connect to electronic resource
    Electronic eBook
    Save to List
    Saved in:
    Computational logic and human thinking how to be artificially intelligent /
  3. 3
    Published 1980
    Other Authors
    Conference Proceeding Book
    Save to List
    Saved in:
    5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 /

Search Tools: