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
Κύριοι συγγραφείς: | Gray John W. 1931- (John Walker), Scedrov Andre 1955- |
---|---|
Συλλογικό Έργο: | AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic, National Science Foundation (U.S.) |
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
American Mathematical Society
|
Σειρά: | American Mathematical Society |
Παρόμοια τεκμήρια
Παρόμοια τεκμήρια
-
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
Έκδοση: (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
ανά: Bruss F. Thomas 1949-, κ.ά.
Έκδοση: (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
Έκδοση: (1993) -
Algebra of programming
ανά: Bird Richard 1943-, κ.ά.
Έκδοση: (1997) -
Microsurveys in discrete probability DIMACS workshop, June 2-6, 1997
Έκδοση: (1998)