INSTRUMENTATION AND AUTOMATION IN THE PAPER，PUBBER，PLASTICS AND POLYMERISATION INDUSTRIES
1984 年出版502 页ISBN：0080311121
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：
The automation of reasoning : an experimenter's notebook with OTTER tutorial
Larry Wos1996 年出版434 页ISBN：0127634207
Proceedingds 2002 IEEE International Conference on Robotics and Automation V.2 V.A
San Francisco Hilton Hotel2000 年出版0 页ISBN：
Proceedings 1996 IEEE International Conference on Robotics and Automation Volume 4 V.A
IEEE Robotics and Automation Society1996 年出版3288 页ISBN：
Proceedings 1996 IEEE International Conference on Robotics and Automation Volume 3 V.A
IEEE Robotics and Automation Society1996 年出版2364 页ISBN：
Proceedings 2000 IEEE International Conference on Robotics and Automation Volume 3 V.A
IEEE Robotics and Automation Society2000 年出版2524 页ISBN：
