Logical foundations of computer science: international symposium, LFCS 2013, San Diego, CA, USA, January 6 - 8, 2013 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture Notes in Computer Science
7734 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (X, 414 S.) graph. Darst. |
| ISBN: | 9783642357220 3642357210 |
| DOI: | 10.1007/978-3-642-35722-0 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040689068 | ||
| 003 | DE-604 | ||
| 005 | 20130725 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 130122s2013 gw d||| o|||| 10||| eng d | ||
| 015 | |a 12,N50 |2 dnb | ||
| 020 | |a 9783642357220 |c eISBN |9 978-3-642-35722-0 | ||
| 020 | |a 3642357210 |9 3-642-35721-0 | ||
| 024 | 7 | |a 10.1007/978-3-642-35722-0 |2 doi | |
| 024 | 3 | |a 9783642357213 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86206579 |
| 035 | |a (OCoLC)830901631 | ||
| 035 | |a (DE-599)BVBBV040689068 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-473 |a DE-20 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-M347 |a DE-703 |a DE-29 |a DE-92 |a DE-Aug4 |a DE-859 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 005.131 | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Logical foundations of computer science |b international symposium, LFCS 2013, San Diego, CA, USA, January 6 - 8, 2013 ; proceedings |c Sergei Artemov ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (X, 414 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 7734 | |
| 650 | 0 | 7 | |a Computational logic |0 (DE-588)4255672-7 |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 Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2013 |z San Diego, Calif. |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |D s |
| 689 | 2 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Computational logic |0 (DE-588)4255672-7 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Artemov, Sergei N. |e Sonstige |4 oth | |
| 711 | 2 | |a LFCS |d 2013 |c San Diego, Calif. |j Sonstige |0 (DE-588)102948693X |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 978-3-642-35721-3 |
| 830 | 0 | |a Lecture Notes in Computer Science |v 7734 |w (DE-604)BV014880109 |9 7734 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-35722-0 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025669858&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025669858&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-LNC | ||
| 912 | |a ZDB-2-SCS | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025669858 | |
Datensatz im Suchindex
| _version_ | 1820875443035701248 |
|---|---|
| adam_text |
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
CONSTRUCTIVE MATHEMATICS AND TYPE THEORY
LOGIC, AUTOMATA AND AUTOMATIC STRUCTURES
COMPUTABILITY AND RANDOMNESS
LOGICAL FOUNDATIONS OF PROGRAMMING
LOGICAL ASPECTS OF COMPUTATIONAL COMPLEXITY
LOGIC PROGRAMMING AND CONSTRAINTS
AUTOMATED DEDUCTION AND INTERACTIVE THEOREM PROVING
LOGICAL METHODS IN PROTOCOL AND PROGRAM VERIFICATION
LOGICAL METHODS IN PROGRAM SPECIFICATION AND EXTRACTION
DOMAIN THEORY LOGIC
LOGICAL FOUNDATIONS OF DATABASE THEORY
EQUATIONAL LOGIC AND TERM REWRITING
LAMBDA AND COMBINATORY CALCULI
CATEGORICAL LOGIC AND TOPOLOGICAL SEMANTICS
LINEAR LOGIC
EPISTEMIC AND TEMPORAL LOGICS
INTELLIGENT AND MULTIPLE AGENT SYSTEM LOGICS
LOGICS OF PROOF AND JUSTIFICATION
NONMONOTONIC REASONING
LOGIC IN GAME THEORY AND SOCIAL SOFTWARE
LOGIC OF HYBRID SYSTEMS
DISTRIBUTED SYSTEM LOGICS
MATHEMATICAL FUZZY LOGIC
SYSTEM DESIGN LOGICS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE INTERNATIONAL
SYMPOSIUM ON LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, LFCS 2013, HELD IN
SAN DIEGO, CA, USA IN JANUARY 2013. THE VOLUME PRESENTS 29 REVISED
REFEREED PAPERS CAREFULLY SELECTED BY THE PROGRAM COMMITTEE. THE SCOPE
OF THE SYMPOSIUM IS BROAD AND INCLUDES CONSTRUCTIVE MATHEMATICS AND TYPE
THEORY; LOGIC, AUTOMATA AND AUTOMATIC STRUCTURES; COMPUTABILITY AND
RANDOMNESS; LOGICAL FOUNDATIONS OF PROGRAMMING; LOGICAL ASPECTS OF
COMPUTATIONAL COMPLEXITY; LOGIC PROGRAMMING AND CONSTRAINTS; AUTOMATED
DEDUCTION AND INTERACTIVE THEOREM PROVING; LOGICAL METHODS IN PROTOCOL
AND PROGRAM VERIFICATION; LOGICAL METHODS IN PROGRAM SPECIFICATION AND
EXTRACTION; DOMAIN THEORY LOGIC; LOGICAL FOUNDATIONS OF DATABASE THEORY;
EQUATIONAL LOGIC AND TERM REWRITING; LAMBDA AND COMBINATORY CALCULI;
CATEGORICAL LOGIC AND TOPOLOGICAL SEMANTICS; LINEAR LOGIC; EPISTEMIC AND
TEMPORAL LOGICS; INTELLIGENT AND MULTIPLE AGENT SYSTEM LOGICS; LOGICS OF
PROOF AND JUSTIFICATION; NONMONOTONIC REASONING; LOGIC IN GAME THEORY
AND SOCIAL SOFTWARE; LOGIC OF HYBRID SYSTEMS; DISTRIBUTED SYSTEM LOGICS;
MATHEMATICAL FUZZY LOGIC; SYSTEM DESIGN LOGICS; AND OTHER LOGICS IN
COMPUTER SCIENCE
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV040689068 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f DAT 540f DAT 000 |
| collection | ZDB-2-LNC ZDB-2-SCS |
| ctrlnum | (OCoLC)830901631 (DE-599)BVBBV040689068 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-35722-0 |
| 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">BV040689068</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130725</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">130122s2013 gw d||| o|||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N50</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642357220</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-35722-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642357210</subfield><subfield code="9">3-642-35721-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-35722-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642357213</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86206579</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)830901631</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040689068</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-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</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">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logical foundations of computer science</subfield><subfield code="b">international symposium, LFCS 2013, San Diego, CA, USA, January 6 - 8, 2013 ; proceedings</subfield><subfield code="c">Sergei Artemov ... (eds.)</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">1 Online-Ressource (X, 414 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">7734</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">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">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">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</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">San Diego, Calif.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</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">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-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">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Artemov, Sergei N.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LFCS</subfield><subfield code="d">2013</subfield><subfield code="c">San Diego, Calif.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)102948693X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-642-35721-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">7734</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7734</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-35722-0</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=025669858&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=025669858&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</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-025669858</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 San Diego, Calif. gnd-content |
| genre_facet | Konferenzschrift 2013 San Diego, Calif. |
| id | DE-604.BV040689068 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:15:42Z |
| institution | BVB |
| institution_GND | (DE-588)102948693X |
| isbn | 9783642357220 3642357210 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025669858 |
| oclc_num | 830901631 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (X, 414 S.) graph. Darst. |
| psigel | ZDB-2-LNC ZDB-2-SCS |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Logical foundations of computer science international symposium, LFCS 2013, San Diego, CA, USA, January 6 - 8, 2013 ; proceedings Sergei Artemov ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (X, 414 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 7734 Computational logic (DE-588)4255672-7 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Berechnungskomplexität (DE-588)4134751-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 San Diego, Calif. gnd-content Informatik (DE-588)4026894-9 s Logik (DE-588)4036202-4 s DE-604 Logische Programmierung (DE-588)4195096-3 s Berechnungskomplexität (DE-588)4134751-1 s Computational logic (DE-588)4255672-7 s Artemov, Sergei N. Sonstige oth LFCS 2013 San Diego, Calif. Sonstige (DE-588)102948693X oth Erscheint auch als Druck-Ausgabe, Paperback 978-3-642-35721-3 Lecture Notes in Computer Science 7734 (DE-604)BV014880109 7734 https://doi.org/10.1007/978-3-642-35722-0 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025669858&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025669858&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Logical foundations of computer science international symposium, LFCS 2013, San Diego, CA, USA, January 6 - 8, 2013 ; proceedings Lecture Notes in Computer Science Computational logic (DE-588)4255672-7 gnd Logische Programmierung (DE-588)4195096-3 gnd Logik (DE-588)4036202-4 gnd Informatik (DE-588)4026894-9 gnd Berechnungskomplexität (DE-588)4134751-1 gnd |
| subject_GND | (DE-588)4255672-7 (DE-588)4195096-3 (DE-588)4036202-4 (DE-588)4026894-9 (DE-588)4134751-1 (DE-588)1071861417 |
| title | Logical foundations of computer science international symposium, LFCS 2013, San Diego, CA, USA, January 6 - 8, 2013 ; proceedings |
| title_auth | Logical foundations of computer science international symposium, LFCS 2013, San Diego, CA, USA, January 6 - 8, 2013 ; proceedings |
| title_exact_search | Logical foundations of computer science international symposium, LFCS 2013, San Diego, CA, USA, January 6 - 8, 2013 ; proceedings |
| title_full | Logical foundations of computer science international symposium, LFCS 2013, San Diego, CA, USA, January 6 - 8, 2013 ; proceedings Sergei Artemov ... (eds.) |
| title_fullStr | Logical foundations of computer science international symposium, LFCS 2013, San Diego, CA, USA, January 6 - 8, 2013 ; proceedings Sergei Artemov ... (eds.) |
| title_full_unstemmed | Logical foundations of computer science international symposium, LFCS 2013, San Diego, CA, USA, January 6 - 8, 2013 ; proceedings Sergei Artemov ... (eds.) |
| title_short | Logical foundations of computer science |
| title_sort | logical foundations of computer science international symposium lfcs 2013 san diego ca usa january 6 8 2013 proceedings |
| title_sub | international symposium, LFCS 2013, San Diego, CA, USA, January 6 - 8, 2013 ; proceedings |
| topic | Computational logic (DE-588)4255672-7 gnd Logische Programmierung (DE-588)4195096-3 gnd Logik (DE-588)4036202-4 gnd Informatik (DE-588)4026894-9 gnd Berechnungskomplexität (DE-588)4134751-1 gnd |
| topic_facet | Computational logic Logische Programmierung Logik Informatik Berechnungskomplexität Konferenzschrift 2013 San Diego, Calif. |
| url | https://doi.org/10.1007/978-3-642-35722-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025669858&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025669858&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT artemovsergein logicalfoundationsofcomputerscienceinternationalsymposiumlfcs2013sandiegocausajanuary682013proceedings AT lfcssandiegocalif logicalfoundationsofcomputerscienceinternationalsymposiumlfcs2013sandiegocausajanuary682013proceedings |