Holdings: Logic, language, and computation

Logic, language, and computation: 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers

Saved in:

Bibliographic Details
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin [u.a.] Springer 2011
Series:	Lecture notes in computer science 6618 : Lecture notes in artificial intelligence
Subjects:	Formale Methode Berechnungstheorie Logik Natürliche Sprache Formale Semantik Computerlinguistik Paperback / softback Research AI logics game theory inference modal logic relational semantics Konferenzschrift > 2009 > Bakuriani
Online Access:	Volltext
Physical Description:	1 Online-Ressource (XIV, 359 S.) graph. Darst.
ISBN:	9783642223020 9783642223037
DOI:	10.1007/978-3-642-22303-7

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV039320197
003	DE-604
005	20111207
007	cr\|uuu---uuuuu
008	110802s2011 xx d\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783642223020 \|c kart. : EUR 57.78 (DE) (freier Pr.), sfr 77.50 (freier Pr.) \|9 978-3-642-22302-0
020			\|a 9783642223037 \|c Online \|9 978-3-642-22303-7
024	7		\|a 10.1007/978-3-642-22303-7 \|2 doi
035			\|a (OCoLC)752227791
035			\|a (DE-599)BVBBV039320197
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-473 \|a DE-19 \|a DE-91 \|a DE-739 \|a DE-384 \|a DE-M347 \|a DE-20 \|a DE-703 \|a DE-355 \|a DE-92 \|a DE-Aug4 \|a DE-859 \|a DE-706 \|a DE-634
084			\|a DAT 710f \|2 stub
084			\|a LIN 080f \|2 stub
084			\|a DAT 540f \|2 stub
084			\|a DAT 000 \|2 stub
245	1	0	\|a Logic, language, and computation \|b 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers \|c Nick Bezhanishvili ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2011
300			\|a 1 Online-Ressource (XIV, 359 S.) \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 6618 : Lecture notes in artificial intelligence
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Berechnungstheorie \|0 (DE-588)4005581-4 \|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
650	0	7	\|a Formale Semantik \|0 (DE-588)4122144-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Computerlinguistik \|0 (DE-588)4035843-4 \|2 gnd \|9 rswk-swf
653			\|a Paperback / softback
653			\|a Research
653			\|a AI logics
653			\|a game theory
653			\|a inference
653			\|a modal logic
653			\|a relational semantics
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2009 \|z Bakuriani \|2 gnd-content
689	0	0	\|a Berechnungstheorie \|0 (DE-588)4005581-4 \|D s
689	0	1	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	0		\|5 DE-604
689	1	0	\|a Computerlinguistik \|0 (DE-588)4035843-4 \|D s
689	1	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	1		\|5 DE-604
689	2	0	\|a Natürliche Sprache \|0 (DE-588)4041354-8 \|D s
689	2	1	\|a Formale Semantik \|0 (DE-588)4122144-8 \|D s
689	2	2	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	2		\|8 1\p \|5 DE-604
700	1		\|a Bezhanishvili, Nick \|e Sonstige \|4 oth
711	2		\|a International Tbilisi Symposium on Logic, Language, and Computation \|n 8 \|d 2009 \|c Bakuriani \|j Sonstige \|0 (DE-588)16165593-2 \|4 oth
830		0	\|a Lecture notes in computer science \|v 6618 : Lecture notes in artificial intelligence \|w (DE-604)BV014880109 \|9 6618
856	4	0	\|u https://doi.org/10.1007/978-3-642-22303-7 \|x Verlag \|3 Volltext
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
912			\|a ZDB-2-LNC
912			\|a ZDB-2-SCS
943	1		\|a oai:aleph.bib-bvb.de:BVB01-024187933

Record in the Search Index

_version_	1820875336950218752
adam_text
any_adam_object
building	Verbundindex
bvnumber	BV039320197
classification_rvk	SS 4800
classification_tum	DAT 710f LIN 080f DAT 540f DAT 000
collection	ZDB-2-LNC ZDB-2-SCS
ctrlnum	(OCoLC)752227791 (DE-599)BVBBV039320197
discipline	Informatik Sprachwissenschaften
doi_str_mv	10.1007/978-3-642-22303-7
format	Electronic Conference Proceeding eBook
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">BV039320197</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111207</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">110802s2011 xx d\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642223020</subfield><subfield code="c">kart. : EUR 57.78 (DE) (freier Pr.), sfr 77.50 (freier Pr.)</subfield><subfield code="9">978-3-642-22302-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642223037</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-22303-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-22303-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)752227791</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV039320197</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-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 710f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">LIN 080f</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">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic, language, and computation</subfield><subfield code="b">8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers</subfield><subfield code="c">Nick Bezhanishvili ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 359 S.)</subfield><subfield code="b">graph. Darst.</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">6618 : Lecture notes in artificial intelligence</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">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">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="650" ind1="0" ind2="7"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computerlinguistik</subfield><subfield code="0">(DE-588)4035843-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Paperback / softback</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Research</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">AI logics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">game theory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">inference</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">modal logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">relational semantics</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">Bakuriani</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="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">Computerlinguistik</subfield><subfield code="0">(DE-588)4035843-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Natürliche Sprache</subfield><subfield code="0">(DE-588)4041354-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bezhanishvili, Nick</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Tbilisi Symposium on Logic, Language, and Computation</subfield><subfield code="n">8</subfield><subfield code="d">2009</subfield><subfield code="c">Bakuriani</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16165593-2</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">6618 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">6618</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-22303-7</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</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="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024187933</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2009 Bakuriani gnd-content
genre_facet	Konferenzschrift 2009 Bakuriani
id	DE-604.BV039320197
illustrated	Illustrated
indexdate	2025-01-10T15:14:02Z
institution	BVB
institution_GND	(DE-588)16165593-2
isbn	9783642223020 9783642223037
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-024187933
oclc_num	752227791
open_access_boolean
owner	DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 DE-M347 DE-20 DE-703 DE-355 DE-BY-UBR DE-92 DE-Aug4 DE-859 DE-706 DE-634
owner_facet	DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 DE-M347 DE-20 DE-703 DE-355 DE-BY-UBR DE-92 DE-Aug4 DE-859 DE-706 DE-634
physical	1 Online-Ressource (XIV, 359 S.) graph. Darst.
psigel	ZDB-2-LNC ZDB-2-SCS
publishDate	2011
publishDateSearch	2011
publishDateSort	2011
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Logic, language, and computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers Nick Bezhanishvili ... (eds.) Berlin [u.a.] Springer 2011 1 Online-Ressource (XIV, 359 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 6618 : Lecture notes in artificial intelligence Formale Methode (DE-588)4333722-3 gnd rswk-swf Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Natürliche Sprache (DE-588)4041354-8 gnd rswk-swf Formale Semantik (DE-588)4122144-8 gnd rswk-swf Computerlinguistik (DE-588)4035843-4 gnd rswk-swf Paperback / softback Research AI logics game theory inference modal logic relational semantics (DE-588)1071861417 Konferenzschrift 2009 Bakuriani gnd-content Berechnungstheorie (DE-588)4005581-4 s Logik (DE-588)4036202-4 s DE-604 Computerlinguistik (DE-588)4035843-4 s Formale Methode (DE-588)4333722-3 s Natürliche Sprache (DE-588)4041354-8 s Formale Semantik (DE-588)4122144-8 s 1\p DE-604 Bezhanishvili, Nick Sonstige oth International Tbilisi Symposium on Logic, Language, and Computation 8 2009 Bakuriani Sonstige (DE-588)16165593-2 oth Lecture notes in computer science 6618 : Lecture notes in artificial intelligence (DE-604)BV014880109 6618 https://doi.org/10.1007/978-3-642-22303-7 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Logic, language, and computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Berechnungstheorie (DE-588)4005581-4 gnd Logik (DE-588)4036202-4 gnd Natürliche Sprache (DE-588)4041354-8 gnd Formale Semantik (DE-588)4122144-8 gnd Computerlinguistik (DE-588)4035843-4 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4005581-4 (DE-588)4036202-4 (DE-588)4041354-8 (DE-588)4122144-8 (DE-588)4035843-4 (DE-588)1071861417
title	Logic, language, and computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers
title_auth	Logic, language, and computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers
title_exact_search	Logic, language, and computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers
title_full	Logic, language, and computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers Nick Bezhanishvili ... (eds.)
title_fullStr	Logic, language, and computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers Nick Bezhanishvili ... (eds.)
title_full_unstemmed	Logic, language, and computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers Nick Bezhanishvili ... (eds.)
title_short	Logic, language, and computation
title_sort	logic language and computation 8th international tbilisi symposium on logic language and computation tbillc 2009 bakuriani georgia september 21 25 2009 revised selected papers
title_sub	8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers
topic	Formale Methode (DE-588)4333722-3 gnd Berechnungstheorie (DE-588)4005581-4 gnd Logik (DE-588)4036202-4 gnd Natürliche Sprache (DE-588)4041354-8 gnd Formale Semantik (DE-588)4122144-8 gnd Computerlinguistik (DE-588)4035843-4 gnd
topic_facet	Formale Methode Berechnungstheorie Logik Natürliche Sprache Formale Semantik Computerlinguistik Konferenzschrift 2009 Bakuriani
url	https://doi.org/10.1007/978-3-642-22303-7
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT bezhanishvilinick logiclanguageandcomputation8thinternationaltbilisisymposiumonlogiclanguageandcomputationtbillc2009bakurianigeorgiaseptember21252009revisedselectedpapers AT internationaltbilisisymposiumonlogiclanguageandcomputationbakuriani logiclanguageandcomputation8thinternationaltbilisisymposiumonlogiclanguageandcomputationtbillc2009bakurianigeorgiaseptember21252009revisedselectedpapers

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items