Category theory and computer science 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1995
|
| Schriftenreihe: | Lecture notes in computer science
953 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010309754 | ||
| 003 | DE-604 | ||
| 005 | 20080606 | ||
| 007 | t| | ||
| 008 | 950717s1995 gw |||| 10||| eng d | ||
| 016 | 7 | |a 944823211 |2 DE-101 | |
| 020 | |a 3540601643 |9 3-540-60164-3 | ||
| 035 | |a (OCoLC)605068502 | ||
| 035 | |a (DE-599)BVBBV010309754 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-739 |a DE-91G |a DE-19 |a DE-20 |a DE-706 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.6.B53 1995 | |
| 082 | 0 | |a 005.13/1 |2 20 | |
| 082 | 0 | |a 005.13/1 20 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a SS 1995 |0 (DE-625)143432: |2 rvk | ||
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a 28 |2 sdnb | ||
| 084 | |a MAT 180f |2 stub | ||
| 245 | 1 | 0 | |a Category theory and computer science |b 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings |c David Pitt ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1995 | |
| 300 | |a 252 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 953 | |
| 650 | 7 | |a Analyse informatique |2 ram | |
| 650 | 7 | |a Categorieën (wiskunde) |2 gtt | |
| 650 | 7 | |a Catégories (mathématiques) |2 ram | |
| 650 | 7 | |a Computers |2 gtt | |
| 650 | 7 | |a lambda calcul |2 inriac | |
| 650 | 7 | |a logique mathématique |2 inriac | |
| 650 | 7 | |a logique programme |2 inriac | |
| 650 | 7 | |a théorie catégorie |2 inriac | |
| 650 | 7 | |a théorie domaine |2 inriac | |
| 650 | 7 | |a théorie démonstration |2 inriac | |
| 650 | 4 | |a Computer programming -- Congresses | |
| 650 | 4 | |a Categories (Mathematics) -- Congresses | |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kategorientheorie |0 (DE-588)4120552-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1995 |z Cambridge |2 gnd-content | |
| 689 | 0 | 0 | |a Kategorientheorie |0 (DE-588)4120552-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Kategorientheorie |0 (DE-588)4120552-2 |D s |
| 689 | 1 | 1 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Pitt, David H. |e Sonstige |4 oth | |
| 711 | 2 | |a CTCS |n 6 |d 1995 |c Cambridge |j Sonstige |0 (DE-588)2148452-1 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 953 |w (DE-604)BV000000607 |9 953 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006861049&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006861049 | |
Datensatz im Suchindex
| _version_ | 1819239644124938241 |
|---|---|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010309754 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6.B53 1995 |
| callnumber-search | QA76.6.B53 1995 |
| callnumber-sort | QA 276.6 B53 41995 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 SS 1995 SS 4800 |
| classification_tum | MAT 180f |
| ctrlnum | (OCoLC)605068502 (DE-599)BVBBV010309754 |
| dewey-full | 005.13/1 005.13/120 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 005.13/1 20 |
| dewey-search | 005.13/1 005.13/1 20 |
| dewey-sort | 15.13 11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02611nam a2200661 cb4500</leader><controlfield tag="001">BV010309754</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080606 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">950717s1995 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">944823211</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540601643</subfield><subfield code="9">3-540-60164-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)605068502</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010309754</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6.B53 1995</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1995</subfield><subfield code="0">(DE-625)143432:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 180f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Category theory and computer science</subfield><subfield code="b">6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings</subfield><subfield code="c">David Pitt ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">252 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">953</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Analyse informatique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Categorieën (wiskunde)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Catégories (mathématiques)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computers</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">lambda calcul</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie catégorie</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie domaine</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie démonstration</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Categories (Mathematics) -- Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1995</subfield><subfield code="z">Cambridge</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pitt, David H.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CTCS</subfield><subfield code="n">6</subfield><subfield code="d">1995</subfield><subfield code="c">Cambridge</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2148452-1</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">953</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">953</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006861049&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006861049</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Cambridge gnd-content |
| genre_facet | Konferenzschrift 1995 Cambridge |
| id | DE-604.BV010309754 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-23T13:55:23Z |
| institution | BVB |
| institution_GND | (DE-588)2148452-1 |
| isbn | 3540601643 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006861049 |
| oclc_num | 605068502 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-706 DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-384 DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-706 DE-634 DE-83 DE-11 DE-188 |
| physical | 252 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Category theory and computer science 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings David Pitt ... (eds.) Berlin [u.a.] Springer 1995 252 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 953 Analyse informatique ram Categorieën (wiskunde) gtt Catégories (mathématiques) ram Computers gtt lambda calcul inriac logique mathématique inriac logique programme inriac théorie catégorie inriac théorie domaine inriac théorie démonstration inriac Computer programming -- Congresses Categories (Mathematics) -- Congresses Informatik (DE-588)4026894-9 gnd rswk-swf Kategorientheorie (DE-588)4120552-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Cambridge gnd-content Kategorientheorie (DE-588)4120552-2 s DE-604 Informatik (DE-588)4026894-9 s Pitt, David H. Sonstige oth CTCS 6 1995 Cambridge Sonstige (DE-588)2148452-1 oth Lecture notes in computer science 953 (DE-604)BV000000607 953 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006861049&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Category theory and computer science 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings Lecture notes in computer science Analyse informatique ram Categorieën (wiskunde) gtt Catégories (mathématiques) ram Computers gtt lambda calcul inriac logique mathématique inriac logique programme inriac théorie catégorie inriac théorie domaine inriac théorie démonstration inriac Computer programming -- Congresses Categories (Mathematics) -- Congresses Informatik (DE-588)4026894-9 gnd Kategorientheorie (DE-588)4120552-2 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)4120552-2 (DE-588)1071861417 |
| title | Category theory and computer science 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings |
| title_auth | Category theory and computer science 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings |
| title_exact_search | Category theory and computer science 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings |
| title_full | Category theory and computer science 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings David Pitt ... (eds.) |
| title_fullStr | Category theory and computer science 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings David Pitt ... (eds.) |
| title_full_unstemmed | Category theory and computer science 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings David Pitt ... (eds.) |
| title_short | Category theory and computer science |
| title_sort | category theory and computer science 6th international conference ctcs 95 cambridge united kingdom august 7 11 1995 proceedings |
| title_sub | 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings |
| topic | Analyse informatique ram Categorieën (wiskunde) gtt Catégories (mathématiques) ram Computers gtt lambda calcul inriac logique mathématique inriac logique programme inriac théorie catégorie inriac théorie domaine inriac théorie démonstration inriac Computer programming -- Congresses Categories (Mathematics) -- Congresses Informatik (DE-588)4026894-9 gnd Kategorientheorie (DE-588)4120552-2 gnd |
| topic_facet | Analyse informatique Categorieën (wiskunde) Catégories (mathématiques) Computers lambda calcul logique mathématique logique programme théorie catégorie théorie domaine théorie démonstration Computer programming -- Congresses Categories (Mathematics) -- Congresses Informatik Kategorientheorie Konferenzschrift 1995 Cambridge |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006861049&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT pittdavidh categorytheoryandcomputerscience6thinternationalconferencectcs95cambridgeunitedkingdomaugust7111995proceedings AT ctcscambridge categorytheoryandcomputerscience6thinternationalconferencectcs95cambridgeunitedkingdomaugust7111995proceedings |