| Type |  Book |
| ชื่อเรื่อง | Automated deduction-CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings / Franz Baader (ed.) |
| ผู้แต่ง | International Conference on Automated Deduction (19th : 2003 : Miami Beach, Fla.) |
| ISBN | 3540405593 |
| พิมพลักษณ์ | Berlin : Springer, c2003 |
| รูปเล่ม | xii, 502 p. : ill. ; 24 cm |
| หัวเรื่อง | Automatic theorem proving --Congresses [] |
| | Logic, Symbolic and mathematical --Congresses [] |