| Type |  Book |
| ชื่อเรื่อง | Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : Selected papers / Paul Callaghan ... [et al.] (eds.) |
| ผู้แต่ง | Types 2000 (2000 : Durham, UK) |
| ISBN | 3540432876 |
| พิมพลักษณ์ | Berlin : Springer, c2002 |
| รูปเล่ม | viii, 242 p. : ill. ; 24 cm |
| หัวเรื่อง | Automatic theorem proving --Congresses [] |
| | Type theory --Congresses [] |