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

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 Επιστήμη των υπολογιστών Μαθηματικά Συνέδρια
Κατηγορίες (Μαθηματικά) Συνέδρια