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
| Κύριοι συγγραφείς: | , |
|---|---|
| Συλλογικό Έργο: | , |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
American Mathematical Society
|
| Σειρά: | American Mathematical Society |
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 1/3411 | ||
| 010 | |a 0-8218-5100-4 |b alk. paper | ||
| 035 | |l 10004277 | ||
| 100 | |a 19981015d1989 0grey0105 ba | ||
| 101 | 0 | |a eng | |
| 200 | 1 | |a Categories in computer science and logic |e Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation |f John W. Gray and Andre Scedrov, editors | |
| 210 | |a Providence, R.I. |c American Mathematical Society |d c1989 | ||
| 215 | |a x, 382 p. |d 26 cm. | ||
| 225 | 0 | |a Contemporary Mathematics |v 92 | |
| 300 | |a "The AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic was held at University of Colorado, Boulder, Colo., on June 14-20, 1987 with support from the National Science Foundation" | ||
| 300 | |a Includes bibliography | ||
| 410 | 1 | |t Contemporary Mathematics |f American Mathematical Society |v 92 | |
| 606 | 0 | |a Επιστήμη των υπολογιστών |x Μαθηματικά |x Συνέδρια | |
| 606 | 0 | |a Κατηγορίες (Μαθηματικά) |x Συνέδρια | |
| 676 | |a 004.015 1 | ||
| 701 | 1 | |a Gray |b John W. |f 1931- |g (John Walker) | |
| 701 | 1 | |a Scedrov |b Andre |f 1955- | |
| 709 | |a American Mathematical Society | ||
| 710 | 1 | 2 | |a AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic |f 1987) |e (University of Colorado, Boulder: |
| 711 | 0 | 2 | |a National Science Foundation (U.S.) |
| 801 | 0 | |a GR |b ΠΑ.Δ.Α. - Βιβλιοθήκη Πανεπιστημιούπολης 2 |g AACR2 | |
| 852 | |a INST |b LIBRARY |e 19981016 |h 004.015 1 CAT |p 000007427 |q 000007427 |t BK |y 23 |z 1 | ||
| 901 | |a 001086 | ||
| 909 | |b 012167 | ||
| 970 | |a ΠΑΝΤΖΑΛΗ |b ΣΟΦΙΑ |z 1998-10 | ||
Εγγραφή στο Ευρετήριο Αναζήτησης
| _version_ | 1780545241577684993 |
|---|---|
| author | Gray John W. 1931- (John Walker) Scedrov Andre 1955- |
| author_corporate | AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic National Science Foundation (U.S.) |
| author_corporate_role | |
| author_facet | 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.) |
| author_role | |
| author_sort | Gray John W. 1931- (John Walker) |
| author_variant | g j w gjw s a sa |
| building | Campus Library II |
| collection | LIB2 Catalog |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 |
| dewey-ones | 004 |
| dewey-raw | 004.015 1 |
| dewey-search | 004.015 1 |
| dewey-sort | 14.015 11 |
| dewey-tens | 000 |
| format | Book |
| fullrecord | {"leader":"01808nam a2200325 i 4500","fields":[{"001":"1/3411"},{"010":{"subfields":[{"a":"0-8218-5100-4"},{"b":"alk. paper"}],"ind1":" ","ind2":" "}},{"035":{"subfields":[{"l":"10004277"}],"ind1":" ","ind2":" "}},{"100":{"subfields":[{"a":"19981015d1989 0grey0105 ba"}],"ind1":" ","ind2":" "}},{"101":{"subfields":[{"a":"eng"}],"ind1":"0","ind2":" "}},{"200":{"subfields":[{"a":"Categories in computer science and logic"},{"e":"Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation"},{"f":"John W. Gray and Andre Scedrov, editors"}],"ind1":"1","ind2":" "}},{"210":{"subfields":[{"a":"Providence, R.I."},{"c":"American Mathematical Society"},{"d":"c1989"}],"ind1":" ","ind2":" "}},{"215":{"subfields":[{"a":"x, 382 p."},{"d":"26 cm."}],"ind1":" ","ind2":" "}},{"225":{"subfields":[{"a":"Contemporary Mathematics"},{"v":"92"}],"ind1":"0","ind2":" "}},{"300":{"subfields":[{"a":"\"The AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic was held at University of Colorado, Boulder, Colo., on June 14-20, 1987 with support from the National Science Foundation\""}],"ind1":" ","ind2":" "}},{"300":{"subfields":[{"a":"Includes bibliography"}],"ind1":" ","ind2":" "}},{"410":{"subfields":[{"t":"Contemporary Mathematics"},{"f":"American Mathematical Society"},{"v":"92"}],"ind1":" ","ind2":"1"}},{"606":{"subfields":[{"a":"\u0395\u03c0\u03b9\u03c3\u03c4\u03ae\u03bc\u03b7 \u03c4\u03c9\u03bd \u03c5\u03c0\u03bf\u03bb\u03bf\u03b3\u03b9\u03c3\u03c4\u03ce\u03bd"},{"x":"\u039c\u03b1\u03b8\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03ac"},{"x":"\u03a3\u03c5\u03bd\u03ad\u03b4\u03c1\u03b9\u03b1"}],"ind1":"0","ind2":" "}},{"606":{"subfields":[{"a":"\u039a\u03b1\u03c4\u03b7\u03b3\u03bf\u03c1\u03af\u03b5\u03c2 (\u039c\u03b1\u03b8\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03ac)"},{"x":"\u03a3\u03c5\u03bd\u03ad\u03b4\u03c1\u03b9\u03b1"}],"ind1":"0","ind2":" "}},{"676":{"subfields":[{"a":"004.015 1"}],"ind1":" ","ind2":" "}},{"701":{"subfields":[{"a":"Gray"},{"b":"John W."},{"f":"1931-"},{"g":"(John Walker)"}],"ind1":" ","ind2":"1"}},{"701":{"subfields":[{"a":"Scedrov"},{"b":"Andre"},{"f":"1955-"}],"ind1":" ","ind2":"1"}},{"709":{"subfields":[{"a":"American Mathematical Society"}],"ind1":" ","ind2":" "}},{"710":{"subfields":[{"a":"AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic"},{"f":"1987)"},{"e":"(University of Colorado, Boulder:"}],"ind1":"1","ind2":"2"}},{"711":{"subfields":[{"a":"National Science Foundation (U.S.)"}],"ind1":"0","ind2":"2"}},{"801":{"subfields":[{"a":"GR"},{"b":"\u03a0\u0391.\u0394.\u0391. - \u0392\u03b9\u03b2\u03bb\u03b9\u03bf\u03b8\u03ae\u03ba\u03b7 \u03a0\u03b1\u03bd\u03b5\u03c0\u03b9\u03c3\u03c4\u03b7\u03bc\u03b9\u03bf\u03cd\u03c0\u03bf\u03bb\u03b7\u03c2 2"},{"g":"AACR2"}],"ind1":" ","ind2":"0"}},{"852":{"subfields":[{"a":"INST"},{"b":"LIBRARY"},{"e":"19981016"},{"h":"004.015 1 CAT"},{"p":"000007427"},{"q":"000007427"},{"t":"BK"},{"y":"23"},{"z":"1"}],"ind1":" ","ind2":" "}},{"901":{"subfields":[{"a":"001086"}],"ind1":" ","ind2":" "}},{"909":{"subfields":[{"b":"012167"}],"ind1":" ","ind2":" "}},{"970":{"subfields":[{"a":"\u03a0\u0391\u039d\u03a4\u0396\u0391\u039b\u0397"},{"b":"\u03a3\u039f\u03a6\u0399\u0391"},{"z":"1998-10"}],"ind1":" ","ind2":" "}}]}
|
| id | lib2_1/3411 |
| illustrated | Not Illustrated |
| institution | University of West Attica |
| isbn | 0-8218-5100-4 |
| language | English |
| physical | x, 382 p. 26 cm. |
| publishDate | 1989 |
| publisher | American Mathematical Society |
| record_format | marc |
| series | American Mathematical Society |
| series2 | Contemporary Mathematics |
| spelling | 19981015d1989 0grey0105 ba eng 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 John W. Gray and Andre Scedrov, editors Providence, R.I. American Mathematical Society c1989 x, 382 p. 26 cm. Contemporary Mathematics 92 "The AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic was held at University of Colorado, Boulder, Colo., on June 14-20, 1987 with support from the National Science Foundation" Includes bibliography Contemporary Mathematics American Mathematical Society 92 Επιστήμη των υπολογιστών Μαθηματικά Συνέδρια Κατηγορίες (Μαθηματικά) Συνέδρια 004.015 1 Gray John W. 1931- (John Walker) Scedrov Andre 1955- American Mathematical Society AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic 1987) (University of Colorado, Boulder: National Science Foundation (U.S.) GR ΠΑ.Δ.Α. - Βιβλιοθήκη Πανεπιστημιούπολης 2 AACR2 INST LIBRARY 19981016 004.015 1 CAT 000007427 000007427 BK 23 1 |
| spellingShingle | Gray John W. 1931- (John Walker) Scedrov Andre 1955- 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 American Mathematical Society Επιστήμη των υπολογιστών Μαθηματικά Συνέδρια Κατηγορίες (Μαθηματικά) Συνέδρια |
| title | 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 |
| title_auth | 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 |
| title_full | 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 John W. Gray and Andre Scedrov, editors |
| title_fullStr | 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 John W. Gray and Andre Scedrov, editors |
| title_full_unstemmed | 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 John W. Gray and Andre Scedrov, editors |
| title_short | Categories in computer science and logic |
| title_sub | Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation |
| topic | Επιστήμη των υπολογιστών Μαθηματικά Συνέδρια Κατηγορίες (Μαθηματικά) Συνέδρια |
| topic_facet | Επιστήμη των υπολογιστών Μαθηματικά Συνέδρια Κατηγορίες (Μαθηματικά) Συνέδρια |