Automated reasoning with analytic tableaux and related methods :
- Publisher: Springer-Verlag
- Print ISSN:
- Electronic ISSN:
- OCLC Number: 1179229721
- Subject: Automatic theorem proving Congresses.
- Subject code:
- Publication history: '97 (May 1997)-
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| HathiTrust (HATHI) | HTDL | 1997-2000; 2002-2003; 2005 | permanent |