Proceedings: June 29 - July 2, 1997, Warsaw, Poland
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Los Alamitos, Calif.
IEEE Computer Soc.
1997
|
| Schlagworte: | |
| Beschreibung: | XIV, 447 S. |
| ISBN: | 0818679255 0818679271 0818679263 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011572165 | ||
| 003 | DE-604 | ||
| 005 | 19971010 | ||
| 007 | t| | ||
| 008 | 971010s1997 xx |||| 10||| eng d | ||
| 020 | |a 0818679255 |9 0-8186-7925-5 | ||
| 020 | |a 0818679271 |9 0-8186-7927-1 | ||
| 020 | |a 0818679263 |9 0-8186-7926-3 | ||
| 035 | |a (OCoLC)37396825 | ||
| 035 | |a (DE-599)BVBBV011572165 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-29T |a DE-739 |a DE-19 |a DE-83 | ||
| 050 | 0 | |a QA76.9.M35 | |
| 082 | 0 | |a 004 |b Sy68p, 1997 |2 21 | |
| 111 | 2 | |a Symposium on Logic in Computer Science |n 12 |d 1997 |c Warschau |j Verfasser |0 (DE-588)5253537-X |4 aut | |
| 245 | 1 | 0 | |a Proceedings |b June 29 - July 2, 1997, Warsaw, Poland |c 12th Annual IEEE Symposium on Logic in Computer Science |
| 264 | 1 | |a Los Alamitos, Calif. |b IEEE Computer Soc. |c 1997 | |
| 300 | |a XIV, 447 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 calcul combinatoire |2 inriac | |
| 650 | 7 | |a calcul formel |2 inriac | |
| 650 | 7 | |a déduction automatique |2 inriac | |
| 650 | 7 | |a intelligence artificielle |2 inriac | |
| 650 | 7 | |a lambda calcul |2 inriac | |
| 650 | 7 | |a logique |2 inriac | |
| 650 | 7 | |a modèle fini |2 inriac | |
| 650 | 7 | |a programmation avec contrainte |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a représentation connaissance |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 7 | |a spécification logiciel |2 inriac | |
| 650 | 7 | |a sémantique |2 inriac | |
| 650 | 7 | |a théorie base donnée |2 inriac | |
| 650 | 7 | |a type abstrait |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 Datennetz |0 (DE-588)4011130-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Telekommunikationsnetz |0 (DE-588)4133586-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1997 |z Warschau |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 | |
| 689 | 1 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 1 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 689 | 2 | 0 | |a Telekommunikationsnetz |0 (DE-588)4133586-7 |D s |
| 689 | 2 | |8 2\p |5 DE-604 | |
| 689 | 3 | 0 | |a Datennetz |0 (DE-588)4011130-1 |D s |
| 689 | 3 | |8 3\p |5 DE-604 | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007791873 | |
Datensatz im Suchindex
| _version_ | 1820882523483275264 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_corporate | Symposium on Logic in Computer Science Warschau |
| author_corporate_role | aut |
| author_facet | Symposium on Logic in Computer Science Warschau |
| author_sort | Symposium on Logic in Computer Science Warschau |
| building | Verbundindex |
| bvnumber | BV011572165 |
| 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 1997 |
| ctrlnum | (OCoLC)37396825 (DE-599)BVBBV011572165 |
| 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">BV011572165</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19971010</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">971010s1997 xx |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818679255</subfield><subfield code="9">0-8186-7925-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818679271</subfield><subfield code="9">0-8186-7927-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818679263</subfield><subfield code="9">0-8186-7926-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)37396825</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011572165</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-29T</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</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, 1997</subfield><subfield code="2">21</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Symposium on Logic in Computer Science</subfield><subfield code="n">12</subfield><subfield code="d">1997</subfield><subfield code="c">Warschau</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5253537-X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings</subfield><subfield code="b">June 29 - July 2, 1997, Warsaw, Poland</subfield><subfield code="c">12th Annual IEEE Symposium on Logic in Computer Science</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Alamitos, Calif.</subfield><subfield code="b">IEEE Computer Soc.</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 447 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">calcul combinatoire</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul formel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">déduction automatique</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</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 avec contrainte</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">représentation connaissance</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">spécification logiciel</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 base donnée</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">type abstrait</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">Datennetz</subfield><subfield code="0">(DE-588)4011130-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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="650" ind1="0" ind2="7"><subfield code="a">Telekommunikationsnetz</subfield><subfield code="0">(DE-588)4133586-7</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">1997</subfield><subfield code="z">Warschau</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="689" ind1="1" ind2="0"><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="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Telekommunikationsnetz</subfield><subfield code="0">(DE-588)4133586-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Datennetz</subfield><subfield code="0">(DE-588)4011130-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007791873</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1997 Warschau gnd-content |
| genre_facet | Konferenzschrift 1997 Warschau |
| id | DE-604.BV011572165 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T17:08:14Z |
| institution | BVB |
| institution_GND | (DE-588)5253537-X |
| isbn | 0818679255 0818679271 0818679263 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007791873 |
| oclc_num | 37396825 |
| open_access_boolean | |
| owner | DE-384 DE-29T DE-739 DE-19 DE-BY-UBM DE-83 |
| owner_facet | DE-384 DE-29T DE-739 DE-19 DE-BY-UBM DE-83 |
| physical | XIV, 447 S. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | IEEE Computer Soc. |
| record_format | marc |
| spelling | Symposium on Logic in Computer Science 12 1997 Warschau Verfasser (DE-588)5253537-X aut Proceedings June 29 - July 2, 1997, Warsaw, Poland 12th Annual IEEE Symposium on Logic in Computer Science Los Alamitos, Calif. IEEE Computer Soc. 1997 XIV, 447 S. txt rdacontent n rdamedia nc rdacarrier Informatique - Mathématiques - Congrès ram Logique symbolique et mathématique - Congrès ram calcul combinatoire inriac calcul formel inriac déduction automatique inriac intelligence artificielle inriac lambda calcul inriac logique inriac modèle fini inriac programmation avec contrainte inriac programmation en logique inriac représentation connaissance inriac réécriture inriac spécification logiciel inriac sémantique inriac théorie base donnée inriac type abstrait inriac vérification inriac Informatik Mathematik Computer science Mathematics Congresses Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Datennetz (DE-588)4011130-1 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Telekommunikationsnetz (DE-588)4133586-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1997 Warschau gnd-content Mathematische Logik (DE-588)4037951-6 s Informatik (DE-588)4026894-9 s DE-604 Logik (DE-588)4036202-4 s 1\p DE-604 Telekommunikationsnetz (DE-588)4133586-7 s 2\p DE-604 Datennetz (DE-588)4011130-1 s 3\p DE-604 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Proceedings June 29 - July 2, 1997, Warsaw, Poland Informatique - Mathématiques - Congrès ram Logique symbolique et mathématique - Congrès ram calcul combinatoire inriac calcul formel inriac déduction automatique inriac intelligence artificielle inriac lambda calcul inriac logique inriac modèle fini inriac programmation avec contrainte inriac programmation en logique inriac représentation connaissance inriac réécriture inriac spécification logiciel inriac sémantique inriac théorie base donnée inriac type abstrait inriac vérification inriac Informatik Mathematik Computer science Mathematics Congresses Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd Datennetz (DE-588)4011130-1 gnd Logik (DE-588)4036202-4 gnd Informatik (DE-588)4026894-9 gnd Telekommunikationsnetz (DE-588)4133586-7 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4011130-1 (DE-588)4036202-4 (DE-588)4026894-9 (DE-588)4133586-7 (DE-588)1071861417 |
| title | Proceedings June 29 - July 2, 1997, Warsaw, Poland |
| title_auth | Proceedings June 29 - July 2, 1997, Warsaw, Poland |
| title_exact_search | Proceedings June 29 - July 2, 1997, Warsaw, Poland |
| title_full | Proceedings June 29 - July 2, 1997, Warsaw, Poland 12th Annual IEEE Symposium on Logic in Computer Science |
| title_fullStr | Proceedings June 29 - July 2, 1997, Warsaw, Poland 12th Annual IEEE Symposium on Logic in Computer Science |
| title_full_unstemmed | Proceedings June 29 - July 2, 1997, Warsaw, Poland 12th Annual IEEE Symposium on Logic in Computer Science |
| title_short | Proceedings |
| title_sort | proceedings june 29 july 2 1997 warsaw poland |
| title_sub | June 29 - July 2, 1997, Warsaw, Poland |
| topic | Informatique - Mathématiques - Congrès ram Logique symbolique et mathématique - Congrès ram calcul combinatoire inriac calcul formel inriac déduction automatique inriac intelligence artificielle inriac lambda calcul inriac logique inriac modèle fini inriac programmation avec contrainte inriac programmation en logique inriac représentation connaissance inriac réécriture inriac spécification logiciel inriac sémantique inriac théorie base donnée inriac type abstrait inriac vérification inriac Informatik Mathematik Computer science Mathematics Congresses Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd Datennetz (DE-588)4011130-1 gnd Logik (DE-588)4036202-4 gnd Informatik (DE-588)4026894-9 gnd Telekommunikationsnetz (DE-588)4133586-7 gnd |
| topic_facet | Informatique - Mathématiques - Congrès Logique symbolique et mathématique - Congrès calcul combinatoire calcul formel déduction automatique intelligence artificielle lambda calcul logique modèle fini programmation avec contrainte programmation en logique représentation connaissance réécriture spécification logiciel sémantique théorie base donnée type abstrait vérification Informatik Mathematik Computer science Mathematics Congresses Logic, Symbolic and mathematical Congresses Mathematische Logik Datennetz Logik Telekommunikationsnetz Konferenzschrift 1997 Warschau |
| work_keys_str_mv | AT symposiumonlogicincomputersciencewarschau proceedingsjune29july21997warsawpoland |