Baader, Franz..Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings /.Springer,,c2003..
International Conference on Assembly Automation,IPA Conference.International Conference on Assembly Automation (3rd : 1982 : Boeblingen):proceedings of the 3rd International Conference on Assembly Automation and 14th IPA Conference, Boeblingen,1982.IPA,1982.
International Conference on Assembly Automation (3rd : 1982 : Boeblingen):proceedings of the 3rd International Conference on Assembly Automation and 14th IPA Conference, Boeblingen,1982
International Conference on Assembly Automation,IPA Conference.IPA,1982.
H. J. Warneeke,International Conference on Automated Guided Vehicle Systems.International Conference on Automated Guided Vehicle Systems (2nd : 1983 : Germany):Proceedings of the 2nd International Conference on Automated Guided Vehicle Systems and 16th IPA Conference.IFS Ltd.,1983.
International Conference on Automated Guided Vehicle Systems (2nd : 1983 : Germany):Proceedings of the 2nd International Conference on Automated Guided Vehicle Systems and 16th IPA Conference
H. J. Warneeke,International Conference on Automated Guided Vehicle Systems.IFS Ltd.,1983.
International Conference on Logic Programming and Automated Reasoning,LPAR.International Conference on Logic Programming and Automated Reasoning(1992 : Russia):Login Programming and automated reasoning.Springer,1992.