DIGITAL SYSTEMS PRINCIPLES AND APPLICATIONS (TENTH EDITION)
[美]RONALD.TOCCI NEAL S.WIDMER GREGORY L.MOSS著2006 年出版940 页ISBN:
Lecture Notes in Artificial Intelligence 2605 Mechanizing Mathematical Reasoning Essays in Honro of
2005 年出版565 页ISBN:3540250514