Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux'99
Details
| Book Title |
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux'99 |
| Editor |
N. V. Murray |
| ISBN |
3−540−66086−0 |
| Key |
Proceedings of Tableaux'99 |
| Month |
JUN |
| Number |
1617 |
| Publisher |
Springer−Verlag |
| Series |
Lecture Notes in Artificial Intelligence |
| Year |
1999 |