Verfügbarkeit: Logic, language, information, and computation

Logic, language, information, and computation: 20th international workshop, WoLLIC 2013, Darmstadt, Germany, August 20 - 23, 2013 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2013
Schriftenreihe:	Lecture notes in computer science 8071 : FoLLI publications on logic, language and information
Schlagworte:	Formale Methode Formale Grammatik Theoretische Informatik Formale Syntax Programmierlogik Logik Künstliche Intelligenz Berechnungstheorie Natürliche Sprache Programmiersprache Konferenzschrift > 2013 > Darmstadt
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	X, 281 S. graph. Darst.
ISBN:	3642399916 9783642399916

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV041250770
003	DE-604
005	20140312
007	t\|
008	130902s2013 gw d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 13,N34 \|2 dnb
016	7		\|a 103818987X \|2 DE-101
020			\|a 3642399916 \|9 3-642-39991-6
020			\|a 9783642399916 \|c Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 61.50 (freier Pr.) \|9 978-3-642-39991-6
024	3		\|a 9783642399916
028	5	2	\|a Best.-Nr.: 86298990
035			\|a (OCoLC)861569522
035			\|a (DE-599)DNB103818987X
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-83 \|a DE-11 \|a DE-91G
082	0		\|a 004.015113 \|2 22/ger
082	0		\|a 005.131 \|2 22/ger
084			\|a DAT 710f \|2 stub
084			\|a 004 \|2 sdnb
084			\|a DAT 540f \|2 stub
245	1	0	\|a Logic, language, information, and computation \|b 20th international workshop, WoLLIC 2013, Darmstadt, Germany, August 20 - 23, 2013 ; proceedings
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a X, 281 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 8071 : FoLLI publications on logic, language and information
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 Theoretische Informatik \|0 (DE-588)4196735-5 \|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 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 Künstliche Intelligenz \|0 (DE-588)4033447-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Berechnungstheorie \|0 (DE-588)4005581-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 Programmiersprache \|0 (DE-588)4047409-4 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2013 \|z Darmstadt \|2 gnd-content
689	0	0	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	0	1	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	0	2	\|a Programmiersprache \|0 (DE-588)4047409-4 \|D s
689	0	3	\|a Künstliche Intelligenz \|0 (DE-588)4033447-8 \|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 Natürliche Sprache \|0 (DE-588)4041354-8 \|D s
689	2	1	\|a Formale Syntax \|0 (DE-588)4312653-4 \|D s
689	2	2	\|a Formale Grammatik \|0 (DE-588)4154991-0 \|D s
689	2		\|5 DE-604
689	3	0	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	3		\|5 DE-604
689	4	0	\|a Berechnungstheorie \|0 (DE-588)4005581-4 \|D s
689	4	1	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	4		\|5 DE-604
700	1		\|a Libkin, Leonid \|d 1965- \|e Sonstige \|0 (DE-588)1041244436 \|4 oth
711	2		\|a WoLLIC \|n 20 \|d 2013 \|c Darmstadt \|j Sonstige \|0 (DE-588)1041245580 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-39992-3
830		0	\|a Lecture notes in computer science \|v 8071 : FoLLI publications on logic, language and information \|w (DE-604)BV000000607 \|9 8071
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4390574&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
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=026224816&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-026224816

Datensatz im Suchindex

_version_	1820875471487762432
adam_text	TABLE OF CONTENTS LOGIC ARID AGENT PROGRAMMING LANGUAGES 1 NATASHA ALECHINA, NATURAL MODELS OF HORRIOT.OPY TYPE THEORY (ABSTRACT) 11 STEVE AWODEY MODELLING INFINITE STRUCTURES WITH ATOMS 13 MIKOLAJ BOJARICZYK COUNTING IN SPARQL PROPERTY PATHS: PERSPECTIVES FROM THEORY AND PRACTICE 29 WIM, MARTENS QUANTITATIVE APPROACHES TO INFORMATION PROTECTION 31 CATUSCIA PALAMIDESSI PERSPECTIVES OF DYNAMIC COMPLEXITY 33 THOMAS SCHWENTICK LINEAR TIME PROOF VERIFICATION ON N-GRAPHS: A GRAPH THEORETIC APPROACH 34 LAIS ANDRADE, RUAN CARVALHO, ANJOLINA DE OLIVEIRA, AND RUY DE QUEIROZ FIRST ORDER EXTENSIONS OF RESIDUE CLASSES AND UNIFORM CIRCUIT COMPLEXITY 49 ARGIMIRO ARRATIA AND CARLOS E. ORTIZ QUANTUM PROBABILISTIC DYADIC SECOND-ORDER LOGIC 64 ALEXANDRA BALTAG, JORT M. BERGFELD, KOHEI KISHIDA, JOSHUA SACK, SONJA J.L. SRNETS, AND SHENGYANG ZHONG STRUCTURAL EXTENSIONS OF DISPLAY CALCULI: A GENERAL RECIPE 81 AGATA CIABATTONI AND REVANTHA RARNANAYAKE THE SAME, SIMILAR, OR JUST COMPLETELY DIFFERENT? EQUIVALENCE FOR ARGUMENTATION IN LIGHT OF LOGIC 96 SJUR KRISTOFFER DYRKOLBOTN BOOLEAN DEPENDENCE LOGIC AND PARTIALLY-ORDERED CONNECTIVES ILL JOHANNES EBBING, LAURI HELLA, PETER LOHMANN, AND JONNI VIRTEMA EXTENDED MODAL DEPENDENCE LOGIC EMDL 126 JOHANNES EBBING, LAURI HELLA, ARNE MEIER, JULIAN-STEFFEN MULLER, JONNI VIRTEMA, AND HERIBERT VOLLMER HTTP://D-NB.INFO/103818987X X TABLE OF CONTENTS DEPENDENCE LOGIC WITH GENERALIZED QUANTIFIERS: AXIORNATIZATIONS 138 FREDRIK ENGSTRORRI, JUHA KONT,INERT,, AND JOUKO VAANANEN CONTINUOUS TRUTH II: REFLECTIONS 153 MICHAEL P. FOURMAN A SIMPLE SEPARATION LOGIC 168 ANDREAS HERZIG INDEPENDENCE IN DATABASE RELATIONS 179 JUHA KONTINEN, SEBASTIAN LINK, AND JOUKO VAANANEN SUBSTRUCTURAL LOGIC OF PROOFS 194 HIDENORI KUROKAUIA, AND, HIROHIKO KUSHIDA FULL LAMBEK HYPERDOCTRINE: CATEGORICAL SEMANTICS FOR FIRST-ORDER SUBSTRUCTURAL LOGICS 211 YOSHIHIRO MARUYAM,A A FINITE MODEL PROPERTY FOR GODEL MODAL LOGICS 226 XAVIER CAICEDO, GEORGE METCALFE, RICARDO RODRIGUEZ, AND JONAS R.OGGER MODEL CHECKING FOR MODAL DEPENDENCE LOGIC: AN APPROACH THROUGH POST'S LATTICE 238 JULIAN-ST,EFFEN MUTTER AND HERIBERT VOLLMER OCKHAMIST PREPOSITIONAL DYNAMIC LOGIC: A NATURAL LINK BETWEEN PDL AND CTL 251 PHILIPPE BALBIANI AND EMILIANO LORINI INFORMATION, AWARENESS AND SUBSTRUCTURAL LOGICS 266 IGOR SEDLAR AUTHOR INDEX 283
any_adam_object	1
author_GND	(DE-588)1041244436
building	Verbundindex
bvnumber	BV041250770
classification_rvk	SS 4800
classification_tum	DAT 710f DAT 540f
ctrlnum	(OCoLC)861569522 (DE-599)DNB103818987X
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
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">BV041250770</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140312</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">130902s2013 gw d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,N34</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">103818987X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642399916</subfield><subfield code="9">3-642-39991-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642399916</subfield><subfield code="c">Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 61.50 (freier Pr.)</subfield><subfield code="9">978-3-642-39991-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642399916</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86298990</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)861569522</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB103818987X</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">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</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">DAT 710f</subfield><subfield code="2">stub</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 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic, language, information, and computation</subfield><subfield code="b">20th international workshop, WoLLIC 2013, Darmstadt, Germany, August 20 - 23, 2013 ; proceedings</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 281 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">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">8071 : FoLLI publications on logic, language and information</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">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">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">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">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</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">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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-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">2013</subfield><subfield code="z">Darmstadt</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><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="2"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</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">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 Syntax</subfield><subfield code="0">(DE-588)4312653-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" 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="4" 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="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Libkin, Leonid</subfield><subfield code="d">1965-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1041244436</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">WoLLIC</subfield><subfield code="n">20</subfield><subfield code="d">2013</subfield><subfield code="c">Darmstadt</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1041245580</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-39992-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8071 : FoLLI publications on logic, language and information</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">8071</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4390574&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=026224816&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-026224816</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 Darmstadt gnd-content
genre_facet	Konferenzschrift 2013 Darmstadt
id	DE-604.BV041250770
illustrated	Illustrated
indexdate	2025-01-10T15:16:10Z
institution	BVB
institution_GND	(DE-588)1041245580
isbn	3642399916 9783642399916
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026224816
oclc_num	861569522
open_access_boolean
owner	DE-83 DE-11 DE-91G DE-BY-TUM
owner_facet	DE-83 DE-11 DE-91G DE-BY-TUM
physical	X, 281 S. graph. Darst.
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Logic, language, information, and computation 20th international workshop, WoLLIC 2013, Darmstadt, Germany, August 20 - 23, 2013 ; proceedings Berlin [u.a.] Springer 2013 X, 281 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 8071 : FoLLI publications on logic, language and information Formale Methode (DE-588)4333722-3 gnd rswk-swf Formale Grammatik (DE-588)4154991-0 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Formale Syntax (DE-588)4312653-4 gnd rswk-swf Programmierlogik (DE-588)4047408-2 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf Natürliche Sprache (DE-588)4041354-8 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Darmstadt gnd-content Logik (DE-588)4036202-4 s Theoretische Informatik (DE-588)4196735-5 s Programmiersprache (DE-588)4047409-4 s Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Programmierlogik (DE-588)4047408-2 s 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 Libkin, Leonid 1965- Sonstige (DE-588)1041244436 oth WoLLIC 20 2013 Darmstadt Sonstige (DE-588)1041245580 oth Erscheint auch als Online-Ausgabe 978-3-642-39992-3 Lecture notes in computer science 8071 : FoLLI publications on logic, language and information (DE-604)BV000000607 8071 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4390574&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026224816&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Logic, language, information, and computation 20th international workshop, WoLLIC 2013, Darmstadt, Germany, August 20 - 23, 2013 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Formale Grammatik (DE-588)4154991-0 gnd Theoretische Informatik (DE-588)4196735-5 gnd Formale Syntax (DE-588)4312653-4 gnd Programmierlogik (DE-588)4047408-2 gnd Logik (DE-588)4036202-4 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Berechnungstheorie (DE-588)4005581-4 gnd Natürliche Sprache (DE-588)4041354-8 gnd Programmiersprache (DE-588)4047409-4 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4154991-0 (DE-588)4196735-5 (DE-588)4312653-4 (DE-588)4047408-2 (DE-588)4036202-4 (DE-588)4033447-8 (DE-588)4005581-4 (DE-588)4041354-8 (DE-588)4047409-4 (DE-588)1071861417
title	Logic, language, information, and computation 20th international workshop, WoLLIC 2013, Darmstadt, Germany, August 20 - 23, 2013 ; proceedings
title_auth	Logic, language, information, and computation 20th international workshop, WoLLIC 2013, Darmstadt, Germany, August 20 - 23, 2013 ; proceedings
title_exact_search	Logic, language, information, and computation 20th international workshop, WoLLIC 2013, Darmstadt, Germany, August 20 - 23, 2013 ; proceedings
title_full	Logic, language, information, and computation 20th international workshop, WoLLIC 2013, Darmstadt, Germany, August 20 - 23, 2013 ; proceedings
title_fullStr	Logic, language, information, and computation 20th international workshop, WoLLIC 2013, Darmstadt, Germany, August 20 - 23, 2013 ; proceedings
title_full_unstemmed	Logic, language, information, and computation 20th international workshop, WoLLIC 2013, Darmstadt, Germany, August 20 - 23, 2013 ; proceedings
title_short	Logic, language, information, and computation
title_sort	logic language information and computation 20th international workshop wollic 2013 darmstadt germany august 20 23 2013 proceedings
title_sub	20th international workshop, WoLLIC 2013, Darmstadt, Germany, August 20 - 23, 2013 ; proceedings
topic	Formale Methode (DE-588)4333722-3 gnd Formale Grammatik (DE-588)4154991-0 gnd Theoretische Informatik (DE-588)4196735-5 gnd Formale Syntax (DE-588)4312653-4 gnd Programmierlogik (DE-588)4047408-2 gnd Logik (DE-588)4036202-4 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Berechnungstheorie (DE-588)4005581-4 gnd Natürliche Sprache (DE-588)4041354-8 gnd Programmiersprache (DE-588)4047409-4 gnd
topic_facet	Formale Methode Formale Grammatik Theoretische Informatik Formale Syntax Programmierlogik Logik Künstliche Intelligenz Berechnungstheorie Natürliche Sprache Programmiersprache Konferenzschrift 2013 Darmstadt
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4390574&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026224816&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT libkinleonid logiclanguageinformationandcomputation20thinternationalworkshopwollic2013darmstadtgermanyaugust20232013proceedings AT wollicdarmstadt logiclanguageinformationandcomputation20thinternationalworkshopwollic2013darmstadtgermanyaugust20232013proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge