Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Automated Reasoning with Analytic Tableaux and Related Methods | Neil V. Murray | Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings<br />Author: Neil V. Murray<br /> Publishe… | OL10081745W |