Automation in biotechnology a collection of contributions based on lectures pt. 1
ed. by Isao Karube1991 年出版201 页ISBN:0444887679
Lecture Notes in Artificial Intelligence 449 10th International Conference on Automated Deduction
M.E.Stickel1990 年出版688 页ISBN:
UNDERSTANDING COMPUTERS SOFTWARE
RUSSELL B.ADAMS PETER POCOCK1990 年出版128 页ISBN:0809475545