- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet TABLEAUX 2000

Showing 1 - 2 of 2 results

Search Results

Cover image for Automated reasoning with analytic tableaux and related methods

Automated reasoning with analytic tableaux and related methods

by TABLEAUX 2000
2000
Format: Electronic

Location
Access Content Online

Cover image for Automated reasoning with analytic tableaux and related methods

Automated reasoning with analytic tableaux and related methods

by TABLEAUX 2000
2000
Format: Book

Joyner Library - General Stacks

Call Number: QA76.9.A96 T33 2000