Original language | English |
---|---|
Title of host publication | Lecture Notes in Artificial Intelligence |
Editors | Kanade, T et al |
Place of Publication | Berlin |
Publisher | Springer |
Pages | 29-31 |
Edition | Peer Reviewed |
ISBN (Print) | 0302-9743 |
Publication status | Published - 1999 |
Event | International Conference on Theorem Proving with Analytic Tableaux and Related methods (TABLEAUX 1999) - Saratoga Springs, NY Duration: 1 Jan 1999 → … |
Conference
Conference | International Conference on Theorem Proving with Analytic Tableaux and Related methods (TABLEAUX 1999) |
---|---|
Period | 1/01/99 → … |
Other | June 7-11 1999 |