| Type |  Book |
| ชื่อเรื่อง | Current trends in hardware verification and automated theorem proving / G. Birtwistle, P.A. Subrahmanyam, editors |
| ISBN | 0387969888 (alk. paper) |
| พิมพลักษณ์ | New York : Springer-Verlag, c1989 |
| รูปเล่ม | viii, 489 p. : ill. ; 25 cm |
| หัวเรื่อง | Automatic theorem proving |
| | Integrated circuits --Very large scale integration [] |