Theorem proving with analytic tableaux and related methods

Status

Rate

Check Later

Details

First publish year 1995

Product Links

Authors

TABLEAUX '95 (1995 Sankt Goar, Germany)

TABLEAUX '95 (1995 Sankt Goar, Germany)

Subjects

Artificial Intelligence Symbolic And Mathematical Logic Symbolic And Mathematical Congresses Nonclassical Mathematical Logic Artificial Intelligence (Incl. Robotics) Computer Science Logic Mathematical Logic And Formal Languages Automatic Theorem Proving

Reviews (0) see more

Seems like you haven't provided a review

Don't miss the opportunity to share your thoughts!

Similar Books

Similar Movies

Similar TV Series

Similar Games