| Type |  Book |
| ชื่อเรื่อง | Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, Jul 30- August 1, 2002 : proceedings / Uwe Egly, Christian G. Fermuller (eds.) |
| ผู้แต่ง | TABLEAUX 2002 (2002 : Copenhagen) |
| ISBN | 3540439293 |
| พิมพลักษณ์ | Berlin : Springer, c2002 |
| รูปเล่ม | x, 339 p. : ill. ; 24 cm |
| หัวเรื่อง | Automatic theorem proving --Congresses [] |