[comp.ai.digest] defs for a58C

E1AR0002@SMUVM1.BITNET (Leff, Southern Methodist University) (07/12/87)

D MAG115 Pattern Recognition\
%V 20\
%N 1\
%D 1987
D MAG116 1985 International Test Conference\
%D 1985
D MAG117 Proceedings IEEE International Symmposium on Circuits and Systems\
%C Kyoto, Japan\
%D JUN 5-7 1985
D MAG118 Proceedings of the Second Australian Conference on Applications of Expe
rt Systems\
%C Sydney\
%D 14-16 May 1986
D BOOK66 International Conference on Computers in Engineering Conference and Exh
ibit (Las Vegas)\
%D 1984\
%I American Society for Mechanical Engineers
D MAG119 Proceedings of the 1986 International Test Conference\
%D SEP 9-11, 1986
D MAG120 1986 IEEE International Conference on Computer Design (Port Chester, NY
)\
%D October 6-9, 1986
D BOOK67 1985 Engineering Software IV\
%I Springer Verlag\
%C Berlin-Heidelberg New York\
%D 1985\
%E R. A. Edey
D MAG121 American Control Conference (Seattle, WA)\
%D JUN 18-20 1986
D MAG122 1985 Proceedings Annual Reliability and Maintainability Symposium\
%D 1985
D MAG123 Proceedings of the 1986 International Computers and Engineering Confere
nce (Chicago, Ill.)\
%D JUL 1986
D MAG124 International Conference on Computer Aided Design (Santa Clara, CA)\
%D 1986
D MAG130 AT&T Technical Journal\
%V 65\
%N 5\
%D SEP-OCT 1986
D MAG131 Pattern Recognition Letters\
%V 5\
%N 3\
%D MAR 1987
D BOOK80 Mathematical Foundations of Computer Science\
%S Lecture Notes in Computer Science\
%V 233\
%I Springer-Verlag\
%C Berlin-New York\
%D 1986
D MAG132 J. Logic Programming\
%V 3\
%N 3\
%D 1986
D BOOK81 GWAI-85 Proceedings of the Ninth German Workshop on Artificial Intellig
ence\
%E Herbert Stoyan\
%S Technical Reports on Information Science\
%V 118\
%I Springer-Verlag\
%C Berlin-New York\
%D 1986
D BOOK82 Eighth International Conference on Automated Deduction (Oxford 1986)\
%P 470-488\
%S Lecture Notes in Computer Science\
%V 230\
%I Springer-Verlag\
%C Berlin-New York\
%D 1986
D BOOK83 Algebra, Combinatorics and Logic in Computer Science, Vol I. II, (Gyor,
 1983)\
%S Colloq. Math. Soc. Janos Bolyai\
%V 42\
%I North-Holland\
%C Amsterdam-New York\
%D 1986
D BOOK84 Category Theory and Computer Programming (Guildford, 1985)\
%S Lecture Notes in Computer Science\
%V 240\
%I Springer-Verlag\
%C Berlin-New York\
%D 1986
D MAG135 Journal of Logic Programming\
%V 3\
%N 4\
%D 1986\
D MAG136 IEEE Transactions on Geoscience and Remote Sensing\
%V 25\
%N 3\
%D MAY 1987
D MAG137 Soviet Journal of Computer and Systems Sciences\
%V 24\
%N 6\
%D NOV-DEC 1986