Computer science logic: 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2001
|
| Series: | Lecture notes in computer science
2142 |
| Subjects: | |
| Physical Description: | XII, 614 S. |
| ISBN: | 3540425543 |
Staff View
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013880338 | ||
| 003 | DE-604 | ||
| 005 | 20010904 | ||
| 007 | t| | ||
| 008 | 010814s2001 gw |||| 10||| eng d | ||
| 016 | 7 | |a 962139751 |2 DE-101 | |
| 020 | |a 3540425543 |9 3-540-42554-3 | ||
| 035 | |a (OCoLC)47844720 | ||
| 035 | |a (DE-599)BVBBV013880338 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-83 |a DE-521 |a DE-706 | ||
| 050 | 0 | |a QA76.9.L63 | |
| 082 | 0 | |a 005.1/01/5113 |2 21 | |
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 540f |2 stub | ||
| 245 | 1 | 0 | |a Computer science logic |b 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings |c Laurent Fribourg (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2001 | |
| 300 | |a XII, 614 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 2142 | |
| 650 | 4 | |a Logique informatique - Congrès | |
| 650 | 7 | |a Logique informatique - Congrès |2 ram | |
| 650 | 7 | |a Logique symbolique et mathématique - Congrès |2 ram | |
| 650 | 7 | |a calcul équationnel |2 inriac | |
| 650 | 7 | |a induction |2 inriac | |
| 650 | 7 | |a lambda calcul |2 inriac | |
| 650 | 7 | |a logique modale |2 inriac | |
| 650 | 7 | |a logique ordre élevé |2 inriac | |
| 650 | 7 | |a sémantique |2 inriac | |
| 650 | 7 | |a théorie complexité |2 inriac | |
| 650 | 7 | |a théorie type |2 inriac | |
| 650 | 7 | |a vérification |2 inriac | |
| 650 | 4 | |a Computer logic |v Congresses | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierlogik |0 (DE-588)4047408-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2001 |z Paris |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmierlogik |0 (DE-588)4047408-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Fribourg, Laurent |e Sonstige |4 oth | |
| 711 | 2 | |a CSL |n 15 |d 2001 |c Paris |j Sonstige |0 (DE-588)16029147-1 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2142 |w (DE-604)BV000000607 |9 2142 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009496372 | |
Record in the Search Index
| _version_ | 1820874904716705792 |
|---|---|
| adam_text | |
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV013880338 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.L63 |
| callnumber-search | QA76.9.L63 |
| callnumber-sort | QA 276.9 L63 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f DAT 540f |
| ctrlnum | (OCoLC)47844720 (DE-599)BVBBV013880338 |
| dewey-full | 005.1/01/5113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/01/5113 |
| dewey-search | 005.1/01/5113 |
| dewey-sort | 15.1 11 45113 |
| 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 a22000008cb4500</leader><controlfield tag="001">BV013880338</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010904</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">010814s2001 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">962139751</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540425543</subfield><subfield code="9">3-540-42554-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)47844720</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013880338</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-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.L63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/01/5113</subfield><subfield code="2">21</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="245" ind1="1" ind2="0"><subfield code="a">Computer science logic</subfield><subfield code="b">15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings</subfield><subfield code="c">Laurent Fribourg (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 614 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">2142</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique informatique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique informatique - 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 équationnel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">induction</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 modale</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique ordre élevé</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 complexité</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">vérification</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2001</subfield><subfield code="z">Paris</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fribourg, Laurent</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CSL</subfield><subfield code="n">15</subfield><subfield code="d">2001</subfield><subfield code="c">Paris</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16029147-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">2142</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2142</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009496372</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2001 Paris gnd-content |
| genre_facet | Konferenzschrift 2001 Paris |
| id | DE-604.BV013880338 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:07:09Z |
| institution | BVB |
| institution_GND | (DE-588)16029147-1 |
| isbn | 3540425543 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009496372 |
| oclc_num | 47844720 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-83 DE-521 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-83 DE-521 DE-706 |
| physical | XII, 614 S. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings Laurent Fribourg (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2001 XII, 614 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2142 Logique informatique - Congrès Logique informatique - Congrès ram Logique symbolique et mathématique - Congrès ram calcul équationnel inriac induction inriac lambda calcul inriac logique modale inriac logique ordre élevé inriac sémantique inriac théorie complexité inriac théorie type inriac vérification inriac Computer logic Congresses Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Programmierlogik (DE-588)4047408-2 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2001 Paris gnd-content Theoretische Informatik (DE-588)4196735-5 s Logik (DE-588)4036202-4 s DE-604 Programmierlogik (DE-588)4047408-2 s Logische Programmierung (DE-588)4195096-3 s Fribourg, Laurent Sonstige oth CSL 15 2001 Paris Sonstige (DE-588)16029147-1 oth Lecture notes in computer science 2142 (DE-604)BV000000607 2142 |
| spellingShingle | Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings Lecture notes in computer science Logique informatique - Congrès Logique informatique - Congrès ram Logique symbolique et mathématique - Congrès ram calcul équationnel inriac induction inriac lambda calcul inriac logique modale inriac logique ordre élevé inriac sémantique inriac théorie complexité inriac théorie type inriac vérification inriac Computer logic Congresses Theoretische Informatik (DE-588)4196735-5 gnd Programmierlogik (DE-588)4047408-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4047408-2 (DE-588)4195096-3 (DE-588)4036202-4 (DE-588)1071861417 |
| title | Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings |
| title_auth | Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings |
| title_exact_search | Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings |
| title_full | Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings Laurent Fribourg (ed.) |
| title_fullStr | Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings Laurent Fribourg (ed.) |
| title_full_unstemmed | Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings Laurent Fribourg (ed.) |
| title_short | Computer science logic |
| title_sort | computer science logic 15th international workshop csl 2001 10th annual conference of the eacsl paris france september 10 13 2001 proceedings |
| title_sub | 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings |
| topic | Logique informatique - Congrès Logique informatique - Congrès ram Logique symbolique et mathématique - Congrès ram calcul équationnel inriac induction inriac lambda calcul inriac logique modale inriac logique ordre élevé inriac sémantique inriac théorie complexité inriac théorie type inriac vérification inriac Computer logic Congresses Theoretische Informatik (DE-588)4196735-5 gnd Programmierlogik (DE-588)4047408-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Logique informatique - Congrès Logique symbolique et mathématique - Congrès calcul équationnel induction lambda calcul logique modale logique ordre élevé sémantique théorie complexité théorie type vérification Computer logic Congresses Theoretische Informatik Programmierlogik Logische Programmierung Logik Konferenzschrift 2001 Paris |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT fribourglaurent computersciencelogic15thinternationalworkshopcsl200110thannualconferenceoftheeacslparisfranceseptember10132001proceedings AT cslparis computersciencelogic15thinternationalworkshopcsl200110thannualconferenceoftheeacslparisfranceseptember10132001proceedings |