COMPUTER SCIENCE AND MULTIPLE-VALUED LOGIC THEORY AND APPLICATIONS
DAVID C.RINE2222 年出版640 页ISBN:0444868828
LECTURE NOTES IN MATHEMATICS 1291: CORRESPONDANCES DE HOWE SUR UN CORPS P-ADIQUE
1987 年出版166 页ISBN:3540186999;0387186999
Proceedings Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE
IEEE Computer society1991 年出版417 页ISBN:
SOFTWARE QUALITY:A FRAMEWORK FOR SUCCESS IN SOFTWARE DEVELOPMENT AND SUPPORT
1994 年出版179 页ISBN:0201631989