Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings /
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | كتاب |
| اللغة: | الإنجليزية |
| منشور في: |
Berlín, Alemania :
Springer,
1998, c1998
|
| سلاسل: | (Lecture Notes in Computer Science)
|
| الوصول للمادة أونلاين: | Ver documento en línea |