Logic and its applications: third Indian conference, ICLA 2009, Chennai, India, January 7 - 11, 2009 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture notes in computer science
5378 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | X, 268 S. graph. Darst. 24 cm |
| ISBN: | 9783540927006 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035385233 | ||
| 003 | DE-604 | ||
| 005 | 20090506 | ||
| 007 | t| | ||
| 008 | 090323s2009 xx d||| |||| 10||| eng d | ||
| 015 | |a 08,N49,0027 |2 dnb | ||
| 015 | |a 09,A05,1070 |2 dnb | ||
| 016 | 7 | |a 991289250 |2 DE-101 | |
| 020 | |a 9783540927006 |c kart. : EUR 49.17 (freier Pr.), ca. sfr 76.50 (freier Pr.) |9 978-3-540-92700-6 | ||
| 024 | 3 | |a 9783540927006 | |
| 028 | 5 | 2 | |a 12591718 |
| 035 | |a (OCoLC)297145537 | ||
| 035 | |a (DE-599)DNB991289250 | ||
| 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 511.3 |2 22//ger | |
| 082 | 0 | |a 511.3 |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 and its applications |b third Indian conference, ICLA 2009, Chennai, India, January 7 - 11, 2009 ; proceedings |c R. Ramanujam ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a X, 268 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 5378 : Lecture notes in artificial intelligence | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Mathematische Logik - Kongress - Madras <2009> | |
| 650 | 4 | |a Information theory |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 |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Madras |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Ramanujam, Ramaswamy |e Sonstige |0 (DE-588)115473734 |4 oth | |
| 710 | 2 | |a Association of Logic, Language and Information |e Sonstige |0 (DE-588)10102504-X |4 oth | |
| 711 | 2 | |a ICLA |n 3 |d 2009 |c Chennai |j Sonstige |0 (DE-588)10368015-9 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5378 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 5378 | |
| 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=017306117&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017306117 | |
Datensatz im Suchindex
| _version_ | 1820875112339996672 |
|---|---|
| adam_text |
TABLE OF CONTENTS DECISIONS, ACTIONS, AND GAMES: A LOGICAL PERSPECTIVE
(INVITED TALK) . 1 JOHAN VAN BENTHEM MACHINE CHECKING PROOF THEORY: AN
APPLICATION OF LOGIC TO LOGIC (INVITED TALK) 23 RAJEEV GORE SOME SECOND
ORDER SET THEORY (INVITED TALK) 36 JOEL DAVID HAMKINS CONNECTION
MATRICES FOR MSOL-DEFINABLE STRUCTURAL INVARIANTS (INVITED TALK) 51
JOHANN MAKOWSKY KNOWLEDGE, GAMES AND TALES FROM THE EAST (INVITED TALK)
65 ROHIT PARIKH A PARA CONSISTENT FUZZY LOGIC (INVITED TALK) 77 ESKO
TURUNEN FROM PHILOSOPHICAL TO INDUSTRIAL LOGICS (INVITED TALK) 89 MOSHE
Y. VARDI GAME QUANTIFICATION PATTERNS 116 DIETMAR BERWANGER AND SOPHIE
PINCHINAT EXTENSIVE QUESTIONS: FROM RESEARCH AGENDAS TO INTERROGATIVE
STRATEGIES 131 EMMANUEL J. GENOT AN ANALYTIC LOGIC OF AGGREGATION 146
PATRICK GIRARD AND JEREMY SELIGMAN INSTANTIAL RELEVANCE IN POLYADIC
INDUCTIVE LOGIC 162 JUERGEN LANDES, JEFF PARIS, AND ALENA VENCOVSKD
ALGEBRAIC STUDY OF LATTICE-VALUED LOGIC AND LATTICE-VALUED MODAL LOGIC
170 YOSHIHIRO MARUYAMA A GENERAL SETTING FOR THE POINTWISE INVESTIGATION
OF DETERMINACY 185 YURII KHOMSKII A BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/991289250 DIGITALISIERT DURCH X TABLE OF CONTENTS A
UNIFIED FRAMEWORK FOR CERTIFICATE AND COMPILATION FOR QBF 210 IGOR
STEPHAN AND BENOIT DA MOTA TOWARDS DECIDABILITY OF CONJUGACY OF PAIRS
AND TRIPLES 224 BENNY GEORGE KENKIRETH AND SAMRITH RAM GAUTAMA -
ONTOLOGY EDITOR BASED ON NYAYA LOGIC 232 G.S. MAHALAKSHMI, T. V. GEETHA,
ARUN KUMAR, DINESH KUMAR, AND S. MANIKANDAN FORMAL DEFINITIONS OF REASON
FALLACIES TO AID DEFECT EXPLORATION IN ARGUMENT GAMING 243 G.S.
MAHALAKSHMI AND T.V. GEETHA THE ART OF NON-ASSERTING: DIALOGUE WITH
NAEGAERJUNA 257 MARIE-HELENE GORISSE AUTHOR INDEX 269 |
| any_adam_object | 1 |
| author_GND | (DE-588)115473734 |
| building | Verbundindex |
| bvnumber | BV035385233 |
| 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)297145537 (DE-599)DNB991289250 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| 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">BV035385233</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090506</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090323s2009 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,N49,0027</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,A05,1070</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">991289250</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540927006</subfield><subfield code="c">kart. : EUR 49.17 (freier Pr.), ca. sfr 76.50 (freier Pr.)</subfield><subfield code="9">978-3-540-92700-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540927006</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12591718</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)297145537</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB991289250</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">511.3</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</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 and its applications</subfield><subfield code="b">third Indian conference, ICLA 2009, Chennai, India, January 7 - 11, 2009 ; proceedings</subfield><subfield code="c">R. Ramanujam ... (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">X, 268 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">5378 : 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">Mathematische Logik - Kongress - Madras <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information theory</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2009</subfield><subfield code="z">Madras</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ramanujam, Ramaswamy</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)115473734</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Association of Logic, Language and Information</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)10102504-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ICLA</subfield><subfield code="n">3</subfield><subfield code="d">2009</subfield><subfield code="c">Chennai</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10368015-9</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">5378 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5378</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=017306117&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-017306117</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Madras gnd-content |
| genre_facet | Konferenzschrift 2009 Madras |
| id | DE-604.BV035385233 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:10:26Z |
| institution | BVB |
| institution_GND | (DE-588)10102504-X (DE-588)10368015-9 |
| isbn | 9783540927006 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017306117 |
| oclc_num | 297145537 |
| 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 | X, 268 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 and its applications third Indian conference, ICLA 2009, Chennai, India, January 7 - 11, 2009 ; proceedings R. Ramanujam ... (eds.) Berlin [u.a.] Springer 2009 X, 268 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5378 : Lecture notes in artificial intelligence Literaturangaben Mathematische Logik - Kongress - Madras <2009> Information theory Congresses Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Madras gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Ramanujam, Ramaswamy Sonstige (DE-588)115473734 oth Association of Logic, Language and Information Sonstige (DE-588)10102504-X oth ICLA 3 2009 Chennai Sonstige (DE-588)10368015-9 oth Lecture notes in computer science 5378 : Lecture notes in artificial intelligence (DE-604)BV000000607 5378 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017306117&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic and its applications third Indian conference, ICLA 2009, Chennai, India, January 7 - 11, 2009 ; proceedings Lecture notes in computer science Mathematische Logik - Kongress - Madras <2009> Information theory Congresses Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)1071861417 |
| title | Logic and its applications third Indian conference, ICLA 2009, Chennai, India, January 7 - 11, 2009 ; proceedings |
| title_auth | Logic and its applications third Indian conference, ICLA 2009, Chennai, India, January 7 - 11, 2009 ; proceedings |
| title_exact_search | Logic and its applications third Indian conference, ICLA 2009, Chennai, India, January 7 - 11, 2009 ; proceedings |
| title_full | Logic and its applications third Indian conference, ICLA 2009, Chennai, India, January 7 - 11, 2009 ; proceedings R. Ramanujam ... (eds.) |
| title_fullStr | Logic and its applications third Indian conference, ICLA 2009, Chennai, India, January 7 - 11, 2009 ; proceedings R. Ramanujam ... (eds.) |
| title_full_unstemmed | Logic and its applications third Indian conference, ICLA 2009, Chennai, India, January 7 - 11, 2009 ; proceedings R. Ramanujam ... (eds.) |
| title_short | Logic and its applications |
| title_sort | logic and its applications third indian conference icla 2009 chennai india january 7 11 2009 proceedings |
| title_sub | third Indian conference, ICLA 2009, Chennai, India, January 7 - 11, 2009 ; proceedings |
| topic | Mathematische Logik - Kongress - Madras <2009> Information theory Congresses Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mathematische Logik - Kongress - Madras <2009> Information theory Congresses Logic, Symbolic and mathematical Congresses Mathematische Logik Konferenzschrift 2009 Madras |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017306117&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT ramanujamramaswamy logicanditsapplicationsthirdindianconferenceicla2009chennaiindiajanuary7112009proceedings AT associationoflogiclanguageandinformation logicanditsapplicationsthirdindianconferenceicla2009chennaiindiajanuary7112009proceedings AT iclachennai logicanditsapplicationsthirdindianconferenceicla2009chennaiindiajanuary7112009proceedings |