2 results Refine Results
  1. 1
    by Chaitin, Gregory J.
    Published 1998
    Subjects
    Book
    Save to List
    Saved in:
    The limits of mathematics : a course on information theory and the limits of formal reasoning /
  2. 2
    by Gabbay, Dov M., 1945-
    Published 2010
    Subjects “...Commonsense reasoning Automation....”
    Book
    Save to List
    Saved in:
    Revision, acceptability and context : theoretical and algorithmic aspects /

Search Tools: