1
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 /

Cover is for reference only
Corporate Authors: Conference on Automated Deduction Les Arcs, Savoie, France
Group Author: Bibel, W., 1938; Kowalski, Robert
Published: Springer-Verlag,
Publication Dates: 1980.
Call Number: TP11-53/C748/1980
Book
Save to List
Saved in:
2
Artificial intelligence methodology, systems, applications : proceedings of the International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA '84), Varna, Bulgaria, 17-20 September 1984

Cover is for reference only
Corporate Authors: International Conference on Artificial Intelligence: Methodology, Systems, Applications (1984 Varna, Bulgaria)
Group Author: Bibel W., 1938-; Petkoff B.; (Boris)
Published: North-Holland for the European Coordinating Committee for Artificial Intelligence Sole distributor for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Publication Dates: 1985.
Call Number: TP11-53/I61.15/1984/
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —