Computer science logic: 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16 - 19, 2008 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2008
|
| Schriftenreihe: | Lecture notes in computer science
5213 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XI, 512 S. graph. Darst. 24 cm |
| ISBN: | 9783540875307 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035092166 | ||
| 003 | DE-604 | ||
| 005 | 20081117 | ||
| 007 | t| | ||
| 008 | 081009s2008 xx d||| |||| 10||| eng d | ||
| 015 | |a 08,N36,0024 |2 dnb | ||
| 015 | |a 08,A41,0052 |2 dnb | ||
| 016 | 7 | |a 990089568 |2 DE-101 | |
| 020 | |a 9783540875307 |c kart. : EUR 69.50 (freier Pr.), sfr 108.00 (freier Pr.) |9 978-3-540-87530-7 | ||
| 024 | 3 | |a 9783540875307 | |
| 028 | 5 | 2 | |a 12514106 |
| 035 | |a (OCoLC)259253626 | ||
| 035 | |a (DE-599)DNB990089568 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-19 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.9.L63 | |
| 082 | 0 | |a 004.015113 |2 22/ger | |
| 082 | 0 | |a 005.101/5113 |2 22 | |
| 082 | 0 | |a 005.1015113 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a 510 |2 sdnb | ||
| 245 | 1 | 0 | |a Computer science logic |b 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16 - 19, 2008 ; proceedings |c Michael Kaminski ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2008 | |
| 300 | |a XI, 512 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 5213 | |
| 500 | |a Literaturangaben | ||
| 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 Computational logic |0 (DE-588)4255672-7 |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 2008 |z Bertinoro |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 Computational logic |0 (DE-588)4255672-7 |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 | |
| 689 | 3 | 0 | |a Programmierlogik |0 (DE-588)4047408-2 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Kaminski, Michael |e Sonstige |4 oth | |
| 710 | 2 | |a European Association for Computer Science Logic |e Sonstige |0 (DE-588)2156125-4 |4 oth | |
| 711 | 2 | |a CSL |n 22 |d 2008 |c Bertinoro |j Sonstige |0 (DE-588)10357395-1 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5213 |w (DE-604)BV000000607 |9 5213 | |
| 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=016760266&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016760266 | |
Datensatz im Suchindex
| _version_ | 1820875075645079552 |
|---|---|
| adam_text |
* * * * * * BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/990089568
DIGITALISIERT DURCH * * AUTHOR INDEX 513 TABLE OF CONTENTS XI
CHARACTERIZATION OF LOGICS OVER RANKED TREE LANGUAGES 401 THOMAS PLACE
THE NESTING-DEPTH OF DISJUNCTIVE //-CALCULUS FOR TREE LANGUAGES AND THE
LIMITEDNESS PROBLEM 416 THOMAS COLCOMBET AND CHRISTOF LADING UPPER
BOUNDS ON THE AUTOMATA SIZE FOR INTEGER AND MIXED REAL AND INTEGER
LINEAR ARITHMETIC (EXTENDED ABSTRACT) 431 JOCHEN EISINGER SYNTACTIC
METATHEORY OF HIGHER-ORDER SUBTYPING 446 ANDREAS ABEL AND DULMA
RODRIGUEZ ON ISOMORPHISMS OF INTERSECTION TYPES 461 MARIANGIOLA
DEZANI-CIANCAGLINI, ROBERTO DI COSMO, ELIO GIOVANNETTI, AND MAKOTO
TATSUTA UNDECIDABILITY OF TYPE-CHECKING IN DOMAIN-FREE TYPED
LAMBDA-CALCULI WITH EXISTENCE 478 KOJI NAKAZAWA, MAKOTO TATSUTA,
YUKIYOSHI KAMEYAMA, AND HIROSHI NAKANO TYPE-BASED TERMINATION WITH SIZED
PRODUCTS 493 GILLES BARTHE, BENJAMIN GREGOIRE, AND COLIN RIBA THE
ACKERMANN SESSION THE ACKERMANN AWARD 2008 508 J.A. MAKOWSKY AND D.
NIWINSKI |
| adam_txt |
* * * * * * BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/990089568
DIGITALISIERT DURCH * * AUTHOR INDEX 513 TABLE OF CONTENTS XI
CHARACTERIZATION OF LOGICS OVER RANKED TREE LANGUAGES 401 THOMAS PLACE
THE NESTING-DEPTH OF DISJUNCTIVE //-CALCULUS FOR TREE LANGUAGES AND THE
LIMITEDNESS PROBLEM 416 THOMAS COLCOMBET AND CHRISTOF LADING UPPER
BOUNDS ON THE AUTOMATA SIZE FOR INTEGER AND MIXED REAL AND INTEGER
LINEAR ARITHMETIC (EXTENDED ABSTRACT) 431 JOCHEN EISINGER SYNTACTIC
METATHEORY OF HIGHER-ORDER SUBTYPING 446 ANDREAS ABEL AND DULMA
RODRIGUEZ ON ISOMORPHISMS OF INTERSECTION TYPES 461 MARIANGIOLA
DEZANI-CIANCAGLINI, ROBERTO DI COSMO, ELIO GIOVANNETTI, AND MAKOTO
TATSUTA UNDECIDABILITY OF TYPE-CHECKING IN DOMAIN-FREE TYPED
LAMBDA-CALCULI WITH EXISTENCE 478 KOJI NAKAZAWA, MAKOTO TATSUTA,
YUKIYOSHI KAMEYAMA, AND HIROSHI NAKANO TYPE-BASED TERMINATION WITH SIZED
PRODUCTS 493 GILLES BARTHE, BENJAMIN GREGOIRE, AND COLIN RIBA THE
ACKERMANN SESSION THE ACKERMANN AWARD 2008 508 J.A. MAKOWSKY AND D.
NIWINSKI |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| building | Verbundindex |
| bvnumber | BV035092166 |
| 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)259253626 (DE-599)DNB990089568 |
| dewey-full | 004.015113 005.101/5113 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science 005 - Computer programming, programs, data, security |
| dewey-raw | 004.015113 005.101/5113 005.1015113 |
| dewey-search | 004.015113 005.101/5113 005.1015113 |
| dewey-sort | 14.015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| discipline_str_mv | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV035092166</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20081117</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">081009s2008 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,N36,0024</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,A41,0052</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">990089568</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540875307</subfield><subfield code="c">kart. : EUR 69.50 (freier Pr.), sfr 108.00 (freier Pr.)</subfield><subfield code="9">978-3-540-87530-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540875307</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12514106</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)259253626</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB990089568</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-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</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">004.015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.101/5113</subfield><subfield code="2">22</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</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="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer science logic</subfield><subfield code="b">22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16 - 19, 2008 ; proceedings</subfield><subfield code="c">Michael Kaminski ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 512 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">5213</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</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">2008</subfield><subfield code="z">Bertinoro</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">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</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="689" ind1="3" 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="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kaminski, Michael</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">European Association for Computer Science Logic</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)2156125-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CSL</subfield><subfield code="n">22</subfield><subfield code="d">2008</subfield><subfield code="c">Bertinoro</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10357395-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">5213</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5213</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=016760266&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-016760266</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2008 Bertinoro gnd-content |
| genre_facet | Konferenzschrift 2008 Bertinoro |
| id | DE-604.BV035092166 |
| illustrated | Illustrated |
| index_date | 2024-07-02T22:11:01Z |
| indexdate | 2025-01-10T15:09:52Z |
| institution | BVB |
| institution_GND | (DE-588)2156125-4 (DE-588)10357395-1 |
| isbn | 9783540875307 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016760266 |
| oclc_num | 259253626 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-83 DE-11 |
| physical | XI, 512 S. graph. Darst. 24 cm |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Computer science logic 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16 - 19, 2008 ; proceedings Michael Kaminski ... (ed.) Berlin [u.a.] Springer 2008 XI, 512 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5213 Literaturangaben 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 Computational logic (DE-588)4255672-7 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2008 Bertinoro gnd-content Theoretische Informatik (DE-588)4196735-5 s Logik (DE-588)4036202-4 s DE-604 Computational logic (DE-588)4255672-7 s Logische Programmierung (DE-588)4195096-3 s Programmierlogik (DE-588)4047408-2 s Kaminski, Michael Sonstige oth European Association for Computer Science Logic Sonstige (DE-588)2156125-4 oth CSL 22 2008 Bertinoro Sonstige (DE-588)10357395-1 oth Lecture notes in computer science 5213 (DE-604)BV000000607 5213 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016760266&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Computer science logic 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16 - 19, 2008 ; proceedings Lecture notes in computer science Computer logic Congresses Theoretische Informatik (DE-588)4196735-5 gnd Programmierlogik (DE-588)4047408-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Computational logic (DE-588)4255672-7 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4047408-2 (DE-588)4195096-3 (DE-588)4255672-7 (DE-588)4036202-4 (DE-588)1071861417 |
| title | Computer science logic 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16 - 19, 2008 ; proceedings |
| title_auth | Computer science logic 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16 - 19, 2008 ; proceedings |
| title_exact_search | Computer science logic 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16 - 19, 2008 ; proceedings |
| title_exact_search_txtP | Computer science logic 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16 - 19, 2008 ; proceedings |
| title_full | Computer science logic 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16 - 19, 2008 ; proceedings Michael Kaminski ... (ed.) |
| title_fullStr | Computer science logic 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16 - 19, 2008 ; proceedings Michael Kaminski ... (ed.) |
| title_full_unstemmed | Computer science logic 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16 - 19, 2008 ; proceedings Michael Kaminski ... (ed.) |
| title_short | Computer science logic |
| title_sort | computer science logic 22nd international workshop csl 2008 17th annual conference of the eacsl bertinoro italy september 16 19 2008 proceedings |
| title_sub | 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16 - 19, 2008 ; proceedings |
| topic | Computer logic Congresses Theoretische Informatik (DE-588)4196735-5 gnd Programmierlogik (DE-588)4047408-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Computational logic (DE-588)4255672-7 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Computer logic Congresses Theoretische Informatik Programmierlogik Logische Programmierung Computational logic Logik Konferenzschrift 2008 Bertinoro |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016760266&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT kaminskimichael computersciencelogic22ndinternationalworkshopcsl200817thannualconferenceoftheeacslbertinoroitalyseptember16192008proceedings AT europeanassociationforcomputersciencelogic computersciencelogic22ndinternationalworkshopcsl200817thannualconferenceoftheeacslbertinoroitalyseptember16192008proceedings AT cslbertinoro computersciencelogic22ndinternationalworkshopcsl200817thannualconferenceoftheeacslbertinoroitalyseptember16192008proceedings |