Tenth annual IEEE Symposium on Logic in Computer Science: June 26 - 29, 1995, San Diego, California ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Los Alamitos [u.a.]
IEEE Computer Science Press
1995
|
| Schlagworte: | |
| Beschreibung: | XIII, 518 S. |
| ISBN: | 0818670509 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010318606 | ||
| 003 | DE-604 | ||
| 005 | 20080718 | ||
| 007 | t| | ||
| 008 | 950728s1995 xx |||| 10||| eng d | ||
| 020 | |a 0818670509 |9 0-8186-7050-9 | ||
| 035 | |a (OCoLC)33202549 | ||
| 035 | |a (DE-599)BVBBV010318606 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-739 |a DE-29T |a DE-91G |a DE-19 | ||
| 050 | 0 | |a QA76.9.M35 | |
| 082 | 0 | |a 004 |b Sy68p, 1995 |2 20 | |
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 540f |2 stub | ||
| 111 | 2 | |a Symposium on Logic in Computer Science |n 10 |d 1995 |c San Diego, Calif. |j Verfasser |0 (DE-588)5159727-5 |4 aut | |
| 245 | 1 | 0 | |a Tenth annual IEEE Symposium on Logic in Computer Science |b June 26 - 29, 1995, San Diego, California ; proceedings |c ed. by Dexter Kozen |
| 264 | 1 | |a Los Alamitos [u.a.] |b IEEE Computer Science Press |c 1995 | |
| 300 | |a XIII, 518 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Informatique - Mathématiques - Congrès |2 ram | |
| 650 | 7 | |a Logique symbolique et mathématique - Congrès |2 ram | |
| 650 | 7 | |a concurrence |2 inriac | |
| 650 | 7 | |a démonstration théorème |2 inriac | |
| 650 | 7 | |a intelligence artificielle |2 inriac | |
| 650 | 7 | |a lambda calcul |2 inriac | |
| 650 | 7 | |a logique linéaire |2 inriac | |
| 650 | 7 | |a modèle fini |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 7 | |a sémantique |2 inriac | |
| 650 | 7 | |a théorie type |2 inriac | |
| 650 | 7 | |a unification |2 inriac | |
| 650 | 7 | |a vérification |2 inriac | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Computer science |x Mathematics |v Congresses | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1995 |z San Diego Calif. |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Kozen, Dexter |d 1951- |e Sonstige |0 (DE-588)135740436 |4 oth | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006866397 | |
Datensatz im Suchindex
| _version_ | 1820868265281323008 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)135740436 |
| author_corporate | Symposium on Logic in Computer Science San Diego, Calif |
| author_corporate_role | aut |
| author_facet | Symposium on Logic in Computer Science San Diego, Calif |
| author_sort | Symposium on Logic in Computer Science San Diego, Calif |
| building | Verbundindex |
| bvnumber | BV010318606 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.M35 |
| callnumber-search | QA76.9.M35 |
| callnumber-sort | QA 276.9 M35 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1995 |
| classification_tum | DAT 706f DAT 540f |
| ctrlnum | (OCoLC)33202549 (DE-599)BVBBV010318606 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV010318606</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080718</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">950728s1995 xx |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818670509</subfield><subfield code="9">0-8186-7050-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)33202549</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010318606</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="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.M35</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="b">Sy68p, 1995</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Symposium on Logic in Computer Science</subfield><subfield code="n">10</subfield><subfield code="d">1995</subfield><subfield code="c">San Diego, Calif.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5159727-5</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tenth annual IEEE Symposium on Logic in Computer Science</subfield><subfield code="b">June 26 - 29, 1995, San Diego, California ; proceedings</subfield><subfield code="c">ed. by Dexter Kozen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Alamitos [u.a.]</subfield><subfield code="b">IEEE Computer Science Press</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 518 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="650" ind1=" " ind2="7"><subfield code="a">Informatique - Mathématiques - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">concurrence</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">démonstration théorème</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">intelligence artificielle</subfield><subfield code="2">inriac</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 linéaire</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">modèle fini</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réécriture</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie type</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">unification</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="x">Mathematics</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1995</subfield><subfield code="z">San Diego Calif.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kozen, Dexter</subfield><subfield code="d">1951-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)135740436</subfield><subfield code="4">oth</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006866397</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 San Diego Calif. gnd-content |
| genre_facet | Konferenzschrift 1995 San Diego Calif. |
| id | DE-604.BV010318606 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:21:37Z |
| institution | BVB |
| institution_GND | (DE-588)5159727-5 |
| isbn | 0818670509 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006866397 |
| oclc_num | 33202549 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-29T DE-91G DE-BY-TUM DE-19 DE-BY-UBM |
| owner_facet | DE-384 DE-739 DE-29T DE-91G DE-BY-TUM DE-19 DE-BY-UBM |
| physical | XIII, 518 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | IEEE Computer Science Press |
| record_format | marc |
| spelling | Symposium on Logic in Computer Science 10 1995 San Diego, Calif. Verfasser (DE-588)5159727-5 aut Tenth annual IEEE Symposium on Logic in Computer Science June 26 - 29, 1995, San Diego, California ; proceedings ed. by Dexter Kozen Los Alamitos [u.a.] IEEE Computer Science Press 1995 XIII, 518 S. txt rdacontent n rdamedia nc rdacarrier Informatique - Mathématiques - Congrès ram Logique symbolique et mathématique - Congrès ram concurrence inriac démonstration théorème inriac intelligence artificielle inriac lambda calcul inriac logique linéaire inriac modèle fini inriac programmation en logique inriac réécriture inriac sémantique inriac théorie type inriac unification inriac vérification inriac Informatik Mathematik Computer science Mathematics Congresses Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 San Diego Calif. gnd-content Mathematische Logik (DE-588)4037951-6 s Informatik (DE-588)4026894-9 s DE-604 Kozen, Dexter 1951- Sonstige (DE-588)135740436 oth |
| spellingShingle | Tenth annual IEEE Symposium on Logic in Computer Science June 26 - 29, 1995, San Diego, California ; proceedings Informatique - Mathématiques - Congrès ram Logique symbolique et mathématique - Congrès ram concurrence inriac démonstration théorème inriac intelligence artificielle inriac lambda calcul inriac logique linéaire inriac modèle fini inriac programmation en logique inriac réécriture inriac sémantique inriac théorie type inriac unification inriac vérification inriac Informatik Mathematik Computer science Mathematics Congresses Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4026894-9 (DE-588)1071861417 |
| title | Tenth annual IEEE Symposium on Logic in Computer Science June 26 - 29, 1995, San Diego, California ; proceedings |
| title_auth | Tenth annual IEEE Symposium on Logic in Computer Science June 26 - 29, 1995, San Diego, California ; proceedings |
| title_exact_search | Tenth annual IEEE Symposium on Logic in Computer Science June 26 - 29, 1995, San Diego, California ; proceedings |
| title_full | Tenth annual IEEE Symposium on Logic in Computer Science June 26 - 29, 1995, San Diego, California ; proceedings ed. by Dexter Kozen |
| title_fullStr | Tenth annual IEEE Symposium on Logic in Computer Science June 26 - 29, 1995, San Diego, California ; proceedings ed. by Dexter Kozen |
| title_full_unstemmed | Tenth annual IEEE Symposium on Logic in Computer Science June 26 - 29, 1995, San Diego, California ; proceedings ed. by Dexter Kozen |
| title_short | Tenth annual IEEE Symposium on Logic in Computer Science |
| title_sort | tenth annual ieee symposium on logic in computer science june 26 29 1995 san diego california proceedings |
| title_sub | June 26 - 29, 1995, San Diego, California ; proceedings |
| topic | Informatique - Mathématiques - Congrès ram Logique symbolique et mathématique - Congrès ram concurrence inriac démonstration théorème inriac intelligence artificielle inriac lambda calcul inriac logique linéaire inriac modèle fini inriac programmation en logique inriac réécriture inriac sémantique inriac théorie type inriac unification inriac vérification inriac Informatik Mathematik Computer science Mathematics Congresses Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Informatique - Mathématiques - Congrès Logique symbolique et mathématique - Congrès concurrence démonstration théorème intelligence artificielle lambda calcul logique linéaire modèle fini programmation en logique réécriture sémantique théorie type unification vérification Informatik Mathematik Computer science Mathematics Congresses Logic, Symbolic and mathematical Congresses Mathematische Logik Konferenzschrift 1995 San Diego Calif. |
| work_keys_str_mv | AT symposiumonlogicincomputersciencesandiegocalif tenthannualieeesymposiumonlogicincomputersciencejune26291995sandiegocaliforniaproceedings AT kozendexter tenthannualieeesymposiumonlogicincomputersciencejune26291995sandiegocaliforniaproceedings |