Introduction to Mathematical Logic and Resolution Principle
Guo-Jun Wang Hong-Jun Zhou (Second Edition)2222 年出版335 页ISBN:
DIGITAL ELECTRONICS AND INTRODUCTION TO THEORY AND PRACTICE
1977 年出版386 页ISBN:0132122170
PROGRAMMING LOGICS AN INTERODUCTION TO VERIFICATION AND SEMANTICS
RAYMOND D.GUMB2222 年出版334 页ISBN:
INTRODUCTION TO TYPE-2 FUZZY LOGIC CONTROL THEORY AND APPLICATIONS
JERRY M.MENDEL2014 年出版354 页ISBN:9781118278390
INTRODUCTION TO DIGITAL SIGNAL PROCESSING AND FILTER DESIGN
B.A.SHENOI2006 年出版423 页ISBN:0471654426