Logic, language, information and computation: 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21 - 24, 2009 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture notes in computer science
5514 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XI, 407 S. graph. Darst. 24 cm |
| ISBN: | 9783642022609 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035553602 | ||
| 003 | DE-604 | ||
| 005 | 20100811 | ||
| 007 | t| | ||
| 008 | 090608s2009 xx d||| |||| 10||| eng d | ||
| 015 | |a 09,N21,0071 |2 dnb | ||
| 016 | 7 | |a 994079338 |2 DE-101 | |
| 020 | |a 9783642022609 |c kart. : EUR 60.94 (freier Pr.), sfr 88.50 (freier Pr.) |9 978-3-642-02260-9 | ||
| 024 | 3 | |a 9783642022609 | |
| 028 | 5 | 2 | |a 12693528 |
| 035 | |a (OCoLC)401156355 | ||
| 035 | |a (DE-599)DNB994079338 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA9.A1 | |
| 082 | 0 | |a 004.015113 |2 22/ger | |
| 082 | 0 | |a 005.131 |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 Logic, language, information and computation |b 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21 - 24, 2009 ; proceedings |c Hiroakira Ono ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a XI, 407 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 5514 : Lecture notes in artificial intelligence | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Berechnungstheorie - Logik - Kongress - Tokio <2009> | |
| 650 | 4 | |a Formale Methode - Kongress - Tokio <2009> | |
| 650 | 4 | |a Natürliche Sprache - Formale Syntax - Formale Grammatik - Kongress - Tokio <2009> | |
| 650 | 4 | |a Programmierlogik - Kongress - Tokio <2009> | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Grammatik |0 (DE-588)4154991-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Syntax |0 (DE-588)4312653-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnungstheorie |0 (DE-588)4005581-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierlogik |0 (DE-588)4047408-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Natürliche Sprache |0 (DE-588)4041354-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Tokio |2 gnd-content | |
| 689 | 0 | 0 | |a Programmierlogik |0 (DE-588)4047408-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Natürliche Sprache |0 (DE-588)4041354-8 |D s |
| 689 | 1 | 1 | |a Formale Syntax |0 (DE-588)4312653-4 |D s |
| 689 | 1 | 2 | |a Formale Grammatik |0 (DE-588)4154991-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Berechnungstheorie |0 (DE-588)4005581-4 |D s |
| 689 | 3 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Ono, Hiroakira |e Sonstige |4 oth | |
| 711 | 2 | |a WoLLIC |n 16 |d 2009 |c Tokio |j Sonstige |0 (DE-588)16011132-8 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5514 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 5514 | |
| 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=017609468&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017609468 | |
Datensatz im Suchindex
| _version_ | 1820875123552419840 |
|---|---|
| adam_text |
TABLE OF CONTENTS TUTORIALS AND INVITED TALKS A CHARACTERISATION OF
DEFMABLE NP SEARCH PROBLEMS IN PEANO ARITHMETIC 1 ARNOLD BECKMANN
ALGEBRAIC VALUATIONS AS BEHAVIORAL LOGICAL MATRICES 13 CARLOS CALEIRO
AND RICARDO GONGALVES QUERY ANSWERING IN DESCRIPTION LOGICS: THE KNOTS
APPROACH 26 THOMAS EITER, CARSTEN LUTZ, MAGDALENA ORTIZ, AND MANTAS
SIMKUS MATHEMATICAL LOGIC FOR LIFE SCIENCE ONTOLOGIES 37 CARSTEN LUTZ
AND FRANK WOLTER RECOGNIZABILITY IN THE SIMPLY TYPED LAMBDA-CALCULUS 48
SYLVAIN SALVATI LOGIC-BASED PROBABILISTIC MODELING 61 TAISUKE SATO
CONTRIBUTED PAPERS COMPLETIONS OF BASIC ALGEBRAS 72 MAJID ALIZADEH
TRANSFORMATIONS VIA GEOMETRIE PERSPECTIVE TECHNIQUES AUGMENTED WITH
CYCLES NORMALIZATION 84 GLEIFER V. ALVES, ANJOLINA G. DE OLIVEIRA, AND
RUY DE QUEIROZ OBSERVATIONAL COMPLETENESS ON ABSTRACT INTERPRETATION 99
GIANLUCA AMATO AND FRANCESCA SCOZZARI SAT IN MONADIC GOEDEL LOGICS: A
BORDERLINE BETWEEN DECIDABILITY AND UNDECIDABILITY 113 MATTHIAS BAAZ,
AGATA CIABATTONI, AND NORBERT PREINING LEARNING BY QUESTIONS AND
ANSWERS: FROM BELIEF-REVISION CYCLES TO DOXASTIC FIXED POINTS 124
ALEXANDRA BAITAG AND SONJA SMETS FIRST-ORDER LINEAR-TIME EPISTEMIC LOGIC
WITH GROUP KNOWLEDGE: AN AXIOMATISATIO BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/994079338 DIGITALISIERT DURCH X TABLE OF CONTENTS
ON-THE-FLY MACROS 155 HUBIE CHEN AND OMER GIMENEZ ABDUCTIVE LOGIC
GRAMMARS 170 HENNING CHRISTIANSEN AND VEROENICA DAHL ON THE
SYNTAX-SEMANTICS INTERFACE: FROM CONVERGENT GRAMMAR TO ABSTRACT
CATEGORIAL GRAMMAR 182 PHILIPPE DE GROOTE, SYLVAIN POGODALLA, AND CARL
POLLARD OBSERVATIONAL EFFORT AND FORMALLY OPEN MAPPINGS 197 BERNHARD
HEINEMANN FORCING-BASED CUT-ELIMINATION FOR GENTZEN-STYLE INTUITIONISTIC
SEQUENT CALCULUS 209 HUGO HERBELIN AND GYESIK LEE PROPERTY DRIVEN
THREE-VALUED MODEL CHECKING ON HYBRID AUTOMATA . 218 KERSTIN BAUER,
RAFFAELLA GENTILINI, AND KLAUS SCHNEIDER TEAM LOGIC AND SECOND-ORDER
LOGIC 230 JUHA KONTINEN AND VILLE NURMI LUDICS AND ITS APPLICATIONS TO
NATURAL LANGUAGE SERNANTICS 242 ALAIN LECOMTE AND MYRIAM QUATRINI SPOILT
FOR CHOICE: FUELL FIRST-ORDER HIERARCHICAL DECOMPOSITIONS 256 SEBASTIAN
LINK CLASSIC-LIKE ANALYTIC TABLEAUX FOR FINITE-VALUED LOGICS 268 CARLOS
CALEIRO AND JOAEO MARCOS A DUALITY FOR ALGEBRAS OF LATTICE-VALUED MODAL
LOGIC 281 YOSHIHIRO MARUYAMA AN INDEPENDENCE RELATION FOR SETS OF
SECRETS 296 SARA MINER MORE AND PAVEL NAUMOV EXPRESSING EXTENSION-BASED
SEMANTICS BASED ON STRATIFIED MINIMAL MODEL TABLE OF CONTENTS XI SOUND
AND COMPLETE TREE-SEQUENT CALCULUS FOR INQUISITIVE LOGIC 365 KATSUHIKO
SANO THE ARROW CALCULUS AS A QUANTUM PROGRAMMING LANGUAGE 379 JULIANA
KAIZER VIZZOTTO, ANDRE RAUBER DU BOIS, AND AMR SABRY KNOWLEDGE, TIME,
AND LOGICAL OMNISCIENCE 394 REN-JUNE WANG AUTHOR INDEX 409 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035553602 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.A1 |
| callnumber-search | QA9.A1 |
| callnumber-sort | QA 19 A1 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f DAT 540f |
| ctrlnum | (OCoLC)401156355 (DE-599)DNB994079338 |
| dewey-full | 004.015113 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science 005 - Computer programming, programs, data, security |
| dewey-raw | 004.015113 005.131 |
| dewey-search | 004.015113 005.131 |
| dewey-sort | 14.015113 |
| 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>00000nam a2200000 cb4500</leader><controlfield tag="001">BV035553602</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100811</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090608s2009 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N21,0071</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">994079338</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642022609</subfield><subfield code="c">kart. : EUR 60.94 (freier Pr.), sfr 88.50 (freier Pr.)</subfield><subfield code="9">978-3-642-02260-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642022609</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12693528</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)401156355</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB994079338</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-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.A1</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.131</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">Logic, language, information and computation</subfield><subfield code="b">16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21 - 24, 2009 ; proceedings</subfield><subfield code="c">Hiroakira Ono ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 407 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">5514 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Berechnungstheorie - Logik - Kongress - Tokio <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formale Methode - Kongress - Tokio <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Natürliche Sprache - Formale Syntax - Formale Grammatik - Kongress - Tokio <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmierlogik - Kongress - Tokio <2009></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">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Grammatik</subfield><subfield code="0">(DE-588)4154991-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Syntax</subfield><subfield code="0">(DE-588)4312653-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</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">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">Natürliche Sprache</subfield><subfield code="0">(DE-588)4041354-8</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">2009</subfield><subfield code="z">Tokio</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Natürliche Sprache</subfield><subfield code="0">(DE-588)4041354-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Formale Syntax</subfield><subfield code="0">(DE-588)4312653-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Formale Grammatik</subfield><subfield code="0">(DE-588)4154991-0</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">Formale Methode</subfield><subfield code="0">(DE-588)4333722-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">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ono, Hiroakira</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">WoLLIC</subfield><subfield code="n">16</subfield><subfield code="d">2009</subfield><subfield code="c">Tokio</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16011132-8</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">5514 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5514</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=017609468&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-017609468</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Tokio gnd-content |
| genre_facet | Konferenzschrift 2009 Tokio |
| id | DE-604.BV035553602 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:10:37Z |
| institution | BVB |
| institution_GND | (DE-588)16011132-8 |
| isbn | 9783642022609 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017609468 |
| oclc_num | 401156355 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | XI, 407 S. graph. Darst. 24 cm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Logic, language, information and computation 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21 - 24, 2009 ; proceedings Hiroakira Ono ... (eds.) Berlin [u.a.] Springer 2009 XI, 407 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5514 : Lecture notes in artificial intelligence Literaturangaben Berechnungstheorie - Logik - Kongress - Tokio <2009> Formale Methode - Kongress - Tokio <2009> Natürliche Sprache - Formale Syntax - Formale Grammatik - Kongress - Tokio <2009> Programmierlogik - Kongress - Tokio <2009> Logic, Symbolic and mathematical Congresses Formale Methode (DE-588)4333722-3 gnd rswk-swf Formale Grammatik (DE-588)4154991-0 gnd rswk-swf Formale Syntax (DE-588)4312653-4 gnd rswk-swf Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf Programmierlogik (DE-588)4047408-2 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Natürliche Sprache (DE-588)4041354-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Tokio gnd-content Programmierlogik (DE-588)4047408-2 s DE-604 Natürliche Sprache (DE-588)4041354-8 s Formale Syntax (DE-588)4312653-4 s Formale Grammatik (DE-588)4154991-0 s Formale Methode (DE-588)4333722-3 s Berechnungstheorie (DE-588)4005581-4 s Logik (DE-588)4036202-4 s Ono, Hiroakira Sonstige oth WoLLIC 16 2009 Tokio Sonstige (DE-588)16011132-8 oth Lecture notes in computer science 5514 : Lecture notes in artificial intelligence (DE-604)BV000000607 5514 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017609468&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic, language, information and computation 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21 - 24, 2009 ; proceedings Lecture notes in computer science Berechnungstheorie - Logik - Kongress - Tokio <2009> Formale Methode - Kongress - Tokio <2009> Natürliche Sprache - Formale Syntax - Formale Grammatik - Kongress - Tokio <2009> Programmierlogik - Kongress - Tokio <2009> Logic, Symbolic and mathematical Congresses Formale Methode (DE-588)4333722-3 gnd Formale Grammatik (DE-588)4154991-0 gnd Formale Syntax (DE-588)4312653-4 gnd Berechnungstheorie (DE-588)4005581-4 gnd Programmierlogik (DE-588)4047408-2 gnd Logik (DE-588)4036202-4 gnd Natürliche Sprache (DE-588)4041354-8 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4154991-0 (DE-588)4312653-4 (DE-588)4005581-4 (DE-588)4047408-2 (DE-588)4036202-4 (DE-588)4041354-8 (DE-588)1071861417 |
| title | Logic, language, information and computation 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21 - 24, 2009 ; proceedings |
| title_auth | Logic, language, information and computation 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21 - 24, 2009 ; proceedings |
| title_exact_search | Logic, language, information and computation 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21 - 24, 2009 ; proceedings |
| title_full | Logic, language, information and computation 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21 - 24, 2009 ; proceedings Hiroakira Ono ... (eds.) |
| title_fullStr | Logic, language, information and computation 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21 - 24, 2009 ; proceedings Hiroakira Ono ... (eds.) |
| title_full_unstemmed | Logic, language, information and computation 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21 - 24, 2009 ; proceedings Hiroakira Ono ... (eds.) |
| title_short | Logic, language, information and computation |
| title_sort | logic language information and computation 16th international workshop wollic 2009 tokyo japan june 21 24 2009 proceedings |
| title_sub | 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21 - 24, 2009 ; proceedings |
| topic | Berechnungstheorie - Logik - Kongress - Tokio <2009> Formale Methode - Kongress - Tokio <2009> Natürliche Sprache - Formale Syntax - Formale Grammatik - Kongress - Tokio <2009> Programmierlogik - Kongress - Tokio <2009> Logic, Symbolic and mathematical Congresses Formale Methode (DE-588)4333722-3 gnd Formale Grammatik (DE-588)4154991-0 gnd Formale Syntax (DE-588)4312653-4 gnd Berechnungstheorie (DE-588)4005581-4 gnd Programmierlogik (DE-588)4047408-2 gnd Logik (DE-588)4036202-4 gnd Natürliche Sprache (DE-588)4041354-8 gnd |
| topic_facet | Berechnungstheorie - Logik - Kongress - Tokio <2009> Formale Methode - Kongress - Tokio <2009> Natürliche Sprache - Formale Syntax - Formale Grammatik - Kongress - Tokio <2009> Programmierlogik - Kongress - Tokio <2009> Logic, Symbolic and mathematical Congresses Formale Methode Formale Grammatik Formale Syntax Berechnungstheorie Programmierlogik Logik Natürliche Sprache Konferenzschrift 2009 Tokio |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017609468&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT onohiroakira logiclanguageinformationandcomputation16thinternationalworkshopwollic2009tokyojapanjune21242009proceedings AT wollictokio logiclanguageinformationandcomputation16thinternationalworkshopwollic2009tokyojapanjune21242009proceedings |