Categories in computer science and logic Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation

Categories in computer science and logic Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation

Bibliographic Details
Main Authors:	Gray John W. 1931- (John Walker), Scedrov Andre 1955-
Corporate Authors:	AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic, National Science Foundation (U.S.)
Format:	Book
Language:	English
Published:	American Mathematical Society
Series:	American Mathematical Society

Similar Items

Logic and combinatorics Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985,with support from the National Science Foundation
Published: (1987)

Strategies for sequential search and selection in real time Proceedings of the AMS-IMS-SIAM joint summer research conference held June 21-27, 1990, with support from the National Science Foundation, the National Security Agency, and the Office of Naval Research
by: Bruss F. Thomas 1949-, et al.
Published: (1992)

Graph structure theory Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference on Graph Minors, held June 22 to July 5, 1991, with support from the National Science Foundation and the Office of Naval Research
Published: (1993)

Algebra of programming
by: Bird Richard 1943-, et al.
Published: (1997)

Microsurveys in discrete probability DIMACS workshop, June 2-6, 1997
Published: (1998)

Continuous-time,fractional and multiobjective programming
by: Singh Chanchal, et al.
Published: (1989)

Thirteenth Annual IEEE Conference on Computational Complexity Proceedings June 15-18, 1998 Buffalo, New York, USA
Published: (1998)

Logic programming Proceedings of the 1991 international symposium
by: Saraswat Vijay, et al.
Published: (1991)

Algorithmic algebra and number theory Selected papers from a conference held at the University of Heidelberg in October 1997
Published: (1999)

Logic programming and automated reasoning 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings
by: Pfenning Frank
Published: (1994)

Systems science Addressing global issues
by: Stowell Frank A., et al.
Published: (1993)

1997 Annual Meeting of the North American Fuzzy Information Processing Society - NAFIPS September 21-24, 1997 Syracuse, New York, U.S.A.
Published: (1997)

Proceedings of the IEEE 1997 National Aerospace and Electronics Conference NAECON 1997 Held at the U.S. Air and Trade Show, Dayton, Ohio July 14-17
Published: (1997)

Fuzzy logic Intelligence, control, and information
by: Yen John, et al.
Published: (1999)

Fibres to finished fabrics papers presented at the Fibre Science/Dyeing & Finishing Groups Joint Conference, 8 & 9 December 1998
Published: (1999)

Theory and problems of basic mathematics With applications to science and techology
by: Kruglak Haym, et al.
Published: (1973)

Applied mathematics for business, economics, and the social sciences
by: Budnick Frank S.
Published: (1993)

Mathematical methods in the physical sciences
by: Boas Mary L.
Published: (1983)

Schaum's outline of theory and problems of basic mathematics with applications to science and technology
by: Kruglak Haym, et al.
Published: (1998)

Fuzzy logic with engineering applications
by: Ross Timothy J.
Published: (1995)

Proceedings of the 1997 American Control Conference Albuquerque Convention Center Hyatt Regency Hotel and Doubletree Hotel, Albuquerque, New Mexico, June 4 - June 6, 1997
Published: (1997)

International Joint Conference on Neural Networks (IJCNN'99) Proceedings, Washington, DC July 10-16, 1999
Published: (1999)

1999 IEEE MTT-S International Microwave Symposium Digest June 13-19, 1999 Anaheim Convention Center, Anaheim, California

Third IEEE Symposium on Computers and Communications (ISCC '98) Proceedings June 30-July 2, 1998 Athens, Greece
Published: (1998)

Towards the knowledge millennium ICC '97, 8-12 June 1997 Montreal, Quebec, Canada
Published: (1997)

Foundations and fundamental concepts of mathematics
by: Eves Howard Whitley 1911-
Published: (1997)

International Conference on Consumer Electronics (ICCE '98) Digest of technical papers Seventeeth in the icce series, June 2-4, 1998
Published: (1998)

International Conference on Consumer Electronics (ICCE '97) Digest of technical papers Sixteenth in the icce series, June 11-13, 1997
Published: (1997)

International Conference on Consumer Electronics (ICCE '99) 1999 Digest of technical papers Eighteenth in the series, June 22-24, 1999
Published: (1999)

Proceedings of the 1998 American Control Conference (ACC) June 24-26, 1998 Adam's Mark Hotel Philadelphia, Pennsylvania USA
Published: (1998)

28th Annual IEEE Power Electronics Specialists Conference (PESC'97) Record St. Louis, Missouri June 22-27, 1997
Published: (1997)

1999 IEEE International Conference on Communications (ICC '99) Conference record 6-10 June 1999 Vancouver, British Columbia, Canada
Published: (1999)

1998 IEEE International Conference on Communications (ICC '98) Conference record 7-11 June 1998 Atlanta, Georgia, USA
Published: (1998)

Proceedings of the 1998 IEEE International Symposium on Circuits and Systems (ISCAS '98) May 31 - June 3, 1998 Monterey Conference Center Monterey, CA
Published: (1998)

The 1997 International Conference on Neural Networks (ICNN' 97) Proceedings June 9-12, 1997 Westin Galleria Hotel, Houston, Texas, USA
Published: (1997)

Advanced information systems engineering 14th international conference, CAiSE 2002 Toronto, Canada, May 27-31, 2002, proceedings
Published: (2002)

Audio- and video-based biometric person authentication first international conference, AVBRA'97 Crans-Montana, Switzerland March 12-14, 1997, proceedings
Published: (1997)

1998 5th International Workshop on Advanced Motion Control (AMC'98-COIMBRA) proceedings June 29-July 1, 1998 Coimbra University Coimbra, Portugal
Published: (1998)

Proceedings of the 1999 American Control Conference (ACC) June 2-4, 1999 Hyatt Regency San Diego, San Diego, California, USA
Published: (1999)

The 1998 IEEE International Joint Conference on Neural Networks Proceedings, IJCNN '98 IEEE World Congress on Computational Intelligence, WCCI '98 May 4 - May 9, 1998 Anchorage, Alaska, USA
Published: (1998)