Showing 1 - 1 results of 1 for search 'login, symbolic and mathematical.', query time: 0.22s Refine Results
  1. 1
    Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings /
    Published 1996
    Subjects: “...Logic, Symbolic and mathematical Congresses....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
Search Tools: RSS Feed – Email Search