Proceedings 2001 IEEE International Conference on Robotics and Automation V.2 V.A
2001 年出版1560 页ISBN:0780365763
Proceedings 1996 IEEE International Conference on Robotics and Automation V.1 V.A
1996 年出版428 页ISBN:0780329880
Proceedings 1999 IEEE International Conference on Robotics and Automation Volume 4 V.A
1999 年出版2860 页ISBN:0780351800
Proceedingds 2002 IEEE International Conference on Robotics and Automation Vol.4.A
Washington2002 年出版3800 页ISBN:
Combinatorial peptide library protocols
edited by Shmuel Cabilly1998 年出版313 页ISBN:0896033929
The automation of reasoning : an experimenter's notebook with OTTER tutorial
Larry Wos1996 年出版434 页ISBN:0127634207