| Type |  Book |
| ชื่อเรื่อง | Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings / Michel Parigot, Andrei Voronkov (eds.) |
| ผู้แต่ง | LPAR 2000 (2000 : Reunion) |
| ISBN | 3540412859 |
| พิมพลักษณ์ | Berlin : Springer Verlag, 2000 |
| รูปเล่ม | xiii, 486 p. ; 24 cm |
| หัวเรื่อง | Automatic theorem proving --Congresses [] |
| | Logic programming --Congresses [] |