[mod.ai] some definitions

E1AR0002@SMUVM1.BITNET (06/04/86)

D BOOK28 IEEE International Conference on Robotics and Automation\
%D April 7-10 1986\
%C San Francisco, CA
D MAG19 Soviet Engineering Research\
%V 5\
%N 4\
%D APR 1985
D MAG20 Data Processing\
%V 28\
%N 1\
%D JAN - FEB 1986
D MAG21 Information Systems\
%V 11\
%N 1\
%D 1986
D BOOK29 STACS 86, Third Annual Symposium on Theoretical Computer Science\
%E B. Monien\
%E G. Vidal-Naquet\
%S Lecture Notes in Computer Science\
%V 210\
%I Springer-Verlag\
%C Berlin-Heidelberg-New York\
%D 1986\
%X $20.50 soft bound ISBN 3-540-16078-7
D MAG22 IBM Journal of Research and Development\
%V 30\
%N 1\
%D JAN 1986
D MAG23 Computer Design\
%V 25\
%N 4\
%D FEB 15 1986
D BOOK30 Rewriting Techniques and Applications\
%E J. P. Jouannaud\
%S Lecture Notes inComputer Science\
%V 202\
%I Springer-Verlag\
%C Berlin-Heidelberg-New York\
%D 1986\
%X 440 pages 23 chapters $22.80 ISBN 3-540-15976-2
D MAG24 Optical Engineering\
%V 25\
%N 3\
%D MAR 1986
D BOOK31 Mathematical Methods for Investigating the\
Natural Resources of the Earth from Space\
%I Nauka\
%C Moscow\
%D 1984
D BOOK32 Mathematization of Scientific: Knowledge: Paths\
and Trends\
%I Kazan Gos. Univ\
%C Kazan\
%D 1984
D BOOK33 International Symposium on Programming\
%S Lecture Notes in Computer Science\
%V 202\
%I Springer-Verlag\
%C Berlin-Heidelberg-New York\
%D 1986
D BOOK34 Industrial Applications of Fuzzy Control\
%E M. Sugeno\
%I North Holland\
%D 1985
D BOOK35 Logics of Programs\
%S Lecture Notes in Computer Science\
%V 193\
%I Springer-Verlag\
%C Berlin-Heidelberg-New York\
%D 1985
D MAG24 Mechanism and Machine Theory\
%V 20\
%N 6\
%D 1985
D MAG25 Pattern Recognition\
%V 18\
%N 6\
%D 1985
D MAG26 Information and Control\
%V 63\
%N 1-2\
%D OCT-NOV 1984
D MAG27 The Journal of the Operations Research Society\
%V 37\
%N 1\
%D JAN 1986
D MAG28 John Hopkins Apl Technical Digest\
%V 7\
%N 1\
%D JAN-MAR 1986
D MAG29 Journal of Robotic Systems\
%V 3\
%N 1\
%D SPRING 1986
D BOOK36 Logics and Models of Concurrent Systems (La Colle-sur-Loup 1984)\
%S NATO Adv. Sci. Inst. Ser. F: Comput. Systems Sci\
%V 13\
%I Springer-Verlag\
%C Berlin-Heidelberg-New York\
%D 1985
D BOOK37 Combinatorial Algorithms on Words (Maratea, 1984)\
%S NATO Adv. Sci. Inst. Ser. F: Comput. Systems Sci.\
%V 12\
%I Springer-Verlag\
%C Berlin-Heidelberg-New York\
%D 1985
D BOOK38 Theoretical Aspects of Reasoning About Knowledge\
%E Joseph Y. Halpert\
%I Morgan Kaufman Publishers, Inc.\
%C Palo Alto, CA\
%D 1986\
%X ISBN 0-934613-0404 $18.95
D BOOK39 Eurocal 85, Volume 1\
%S Lecture Notes in Computer Science\
%V 203\
%E B. Buchberger\
%I Springer-Verlag\
%C Berlin-Heidelberg-New York\
%D 1985
D BOOK40 Foundations of Software Technology and Theoretical Computer Science\
%S Lecture Notes in Computer Science\
%V 206\
%E S. N. Maheshwari\
%I Springer-Verlag\
%C Berlin-Heidelberg-New York\
%D 1985
D MAG30 Werkstattstechnik WT Zeitschrift fur Industrielle Fertigung\
%V 76\
%N 1\
%D JAN 1986
D MAG31 International Journal of Robotics Research\
%V 4\
%N 4\
%D Winter 1986
D BOOK41 Artificial Intelligence: Toward Practical Application\
%S GDI Technology Assessment and Management\
%V 1\
%E T. Bernold\
%E G. Albers\
%I North Holland Publishers Co\
%C Amsterdam\
%D 1985
D MAG32 Manufacturing Engineering\
%V 96\
%N 4\
%D APR 1986
D MAG33 Intech\
%V 33\
%N 4\
%D 1986
D MAG34 Roboterstysteme\
%V 2\
%N 1\
%D 1986
D MAG35 Robotica\
%V 3\
%N Part 4\
%D OCT-DEC l985
D MAG36 Journal of Dynamics Systems, Measurement and Control\
%V 107\
%N 4\
%D DEC 1985
D MAG37 Robotersysteme\
%V 1\
%N 4\
%D 1985
D MAG38 International Journal of Man-Machine Studies\
%V 23\
%N 3\
%D SEP 1985