Logic for programming, artificial intelligence, and reasoning: 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6397 : Advanced research in computing and software science |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | XII, 656 S. |
| ISBN: | 9783642162411 364216241X |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036711138 | ||
| 003 | DE-604 | ||
| 005 | 20120320 | ||
| 007 | t| | ||
| 008 | 101011s2010 xx |||| 10||| eng d | ||
| 015 | |a 10,N36 |2 dnb | ||
| 016 | 7 | |a 1006508430 |2 DE-101 | |
| 020 | |a 9783642162411 |c PB. : EUR 84.53 (freier Pr.), sfr 113.50 (freier Pr.) |9 978-3-642-16241-1 | ||
| 020 | |a 364216241X |9 3-642-16241-X | ||
| 024 | 3 | |a 9783642162411 | |
| 028 | 5 | 2 | |a 80023546 |
| 035 | |a (OCoLC)688608506 | ||
| 035 | |a (DE-599)DNB1006508430 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-83 |a DE-11 |a DE-91G |a DE-355 | ||
| 082 | 0 | |a 006.3 |2 22/ger | |
| 084 | |a ST 301 |0 (DE-625)143651: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 540f |2 stub | ||
| 245 | 1 | 0 | |a Logic for programming, artificial intelligence, and reasoning |b 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 ; proceedings |c Christian G. Fermüller ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XII, 656 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6397 : Advanced research in computing and software science | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierlogik |0 (DE-588)4047408-2 |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 Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Inferenz |g Künstliche Intelligenz |0 (DE-588)4333533-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Yogyakarta |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |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 Inferenz |g Künstliche Intelligenz |0 (DE-588)4333533-0 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 4 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Fermüller, Christian G. |d 1963- |e Sonstige |0 (DE-588)135982014 |4 oth | |
| 711 | 2 | |a LPAR |n 17 |d 2010 |c Yogyakarta |j Sonstige |0 (DE-588)16085353-9 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6397 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 6397 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3532084&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=020629231&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020629231 | |
Datensatz im Suchindex
| _version_ | 1820875270678118400 |
|---|---|
| adam_text |
TABLE OF CONTENTS THE COMPLEXITY OF PARTIAL-OBSERVATION PARITY GAMES
(INVITED TALK) . 1 KRISHNENDU CHATTERJEE AND LAURENT DOYEN AWARENESS
IN GAMES, AWARENESS IN LOGIC (INVITED TALK) 15 JOSEPH Y. HOLPERN HUMAN
AND UNHUMAN COMMONSENSE REASONING (INVITED TALK) 16 MICHAEL J. MAHER
GODEI LOGICS - A SURVEY (INVITED TUTORIAL) 30 NORBERT PREINING TABLEAU
CALCULUS FOR THE LOGIC OF COMPARATIVE SIMILARITY OVER ARBITRARY DISTANCE
SPACES 52 REGIS ALENDA AND NICOLA OLIVETTI EXTENDED COMPUTATION TREE
LOGIC 67 ROLAND AXELSSON, MATTHEW HAGUE, STEPHAN KREUTZER, MARTIN LANGE,
AND MARKUS LATTE USING CAUSAL RELATIONSHIPS TO DEAL WITH THE
RAMIFICATION PROBLEM IN ACTION FORMALISMS BASED ON DESCRIPTION LOGICS 82
FRANZ BAADER, MARCEL LIPPMANN, AND HONGKAI LIU SAT ENCODING OF
UNIFICATION IN SC 97 FRANZ BAADER AND BARBARA MORAWSKA GENERATING
COMBINATORIAL TEST CASES BY EFFICIENT SAT ENCODINGS SUITABLE FOR CDCL
SAT SOLVERS 112 MUTSUNORI BANBARA, HARUKI MATSUNAKA, NAOYUKI TAMURA, AND
KATSUMI TNOUE GENERATING COUNTEREXAMPLES FOR STRUCTURAL INDUCTIONS BY
EXPLOITING NONSTANDARD MODELS 127 JASMIN CHRISTIAN BLANCHETTE AND KOEN
CLAESSEN CHARACTERISING SPACE COMPLEXITY CLASSES VIA KNUTH-BENDIX ORDERS
142 GUILLAUME BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1006508430
DIGITALISIERT DURCH X TABLE OF CONTENTS ON THE COMPLEXITY OF THE
BERNAYS-SCHOENFINKEL CLASS WITH DATALOG 187 WITOLD CHARATONIK AND PIOTR
WITKOWSKI MAGICALLY CONSTRAINING THE INVERSE METHOD USING DYNAMIC
POLARITY ASSIGNMENT 202 KAUSTUV CHAUDHURI LAZY ABSTRACTION FOR
SIZE-CHANGE TERMINATION 217 MICHAEL CODISH, CARSTEN FUHS, JUERGEN GIESL,
AND PETER SCHNEIDER-KAMP A SYNTACTICAL APPROACH TO QUALITATIVE
CONSTRAINT NETWORKS MERGING . 233 JEAN-FRANCOIS CONDOTTA, SOUHILA
KACI, PIERRE MARQUIS, AND NICOLAS SCHWIND ON THE SATISFIABILITY OF
TWO-VARIABLE LOGIC OVER DATA WORDS 248 CLAIRE DAVID, LEONID LIBKIN, AND
TONY TAN GENERIC METHODS FOR FORMALISING SEQUENT CALCULI APPLIED TO
PROVABILITY LOGIC 263 JEREMY E. DAWSON AND RAJEEV GORE CHARACTERISING
PROBABILISTIC PROCESSES LOGICALLY (EXTENDED ABSTRACT) 278 YUXIN DENG AND
ROB VAN GLABBEEK FCUBE: AN EFFICIENT PROVER FOR INTUITIONISTIC
PROPOSITIONAL LOGIC 294 MAURO FERRARI, CAMILLO FIORENTINI, AND GUIDO
FIORINO SUPERPOSITION-BASED ANALYSIS OF FIRST-ORDER PROBABILISTIC TIMED
AUTOMATA 302 ARNAUD FIETZKE, HOLGER HERMANNS, AND CHRISTOPH WEIDENBACH A
NONMONOTONIC EXTENSION OF KLM PREFERENTIAL LOGIC P 317 LAURA GIORDANO,
VALENTINA GLIOZZI, NICOLA OLIVETTI, AND GIAN LUCA POZZATO O TABLE OF
CONTENTS XI INFINITE FAMILIES OF FINITE STRING REWRITING SYSTEMS AND
THEIR CONFLUENCE 387 JEAN-PIERRE JOUANNAUD AND BENJAMIN MONATE POLITE
THEORIES REVISITED 402 DEJAN JOVANOVIC AND CLARK BARRETT CLAUSAL GRAPH
TABLEAUX FOR HYBRID LOGIC WITH EVENTUALITIES AND DIFFERENCE 417 MARK
KAMINSKI AND GERT SMOLKA THE CONSISTENCY OF THE CADIAG-2 KNOWLEDGE BASE:
A PROBABILISTIC APPROACH 432 PAVEL KLINOV, BIJAN PARSIA, AND DAVID
PICADO-MUINO ON THE COMPLEXITY OF MODEL EXPANSION 447 ANTONINA
KOLOKOLOVA, YONGMEI LIU, DAVID MITCHELL, AND EUGENIA TERNOVSKA LABELLED
UNIT SUPERPOSITION CALCULI FOR INSTANTIATION-BASED REASONING 459
KONSTANTIN KOROVIN AND CHRISTOPH STICKSEI BOOSTING LOCAL SEARCH THANKS
TO CDCL 474 GILLES AUDEMARD, JEAN-MARIE LAGNIEZ, BERTRAND MAZURE, AND
LAKHDAR SAIS INTERPOLATING QUANTIFIER-FREE PRESBURGER ARITHMETIC 489
DANIEL KROENING, JEROME LEROUX, AND PHILIPP RUEMMER VARIABLE COMPRESSION
IN PROBLOG 504 THEOFRASTOS MANTADELIS AND GERDA JANSSENS IMPROVING
RESOURCE-UNAWARE SAT SOLVERS 519 STEFFEN HOELLDOBLER, NORBERT MANTHEY,
AND ARI SAPTAWIJAYA EXPANSION NETS: PROOF-NETS FOR PROPOSITIONAL
CLASSICAL LOGIC 535 RICHARD MCKINLEY REVISITING MATRIX INTERPRETATIONS
FOR POLYNOMIAL DERIVATIONAL COMPLEXIT XII TABLE OF CONTENTS
CONSTRUCTORS, SUFFICIENT COMPLETENESS, AND DEADLOCK FREEDOM OF REWRITE
THEORIES 594 CAMILO ROCHA AND JOSE MESEGUER PBINT, A LOGIC FOR MODELLING
SEARCH PROBLEMS INVOLVING ARITHMETIC 610 SHAHAB TASHARROFI AND EUGENIA
TERNOVSKA RESOLUTION FOR STOCHASTIC BOOLEAN SATISFIABILITY 625 TINO
TEIGE AND MARTIN FRAENZLE SYMBOLIC AUTOMATA CONSTRAINT SOLVING 640 MARGUS
VEANES, NIKOLAJ BJ0RNER, AND LEONARDO DE MOURA AUTHOR INDEX 655 |
| any_adam_object | 1 |
| author_GND | (DE-588)135982014 |
| building | Verbundindex |
| bvnumber | BV036711138 |
| classification_rvk | ST 301 |
| classification_tum | DAT 540f |
| ctrlnum | (OCoLC)688608506 (DE-599)DNB1006508430 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| 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">BV036711138</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120320</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">101011s2010 xx |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N36</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1006508430</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642162411</subfield><subfield code="c">PB. : EUR 84.53 (freier Pr.), sfr 113.50 (freier Pr.)</subfield><subfield code="9">978-3-642-16241-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">364216241X</subfield><subfield code="9">3-642-16241-X</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642162411</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80023546</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)688608506</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1006508430</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-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 301</subfield><subfield code="0">(DE-625)143651:</subfield><subfield code="2">rvk</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 for programming, artificial intelligence, and reasoning</subfield><subfield code="b">17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 ; proceedings</subfield><subfield code="c">Christian G. Fermüller ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 656 S.</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">6397 : Advanced research in computing and software science</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">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">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">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Inferenz</subfield><subfield code="g">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4333533-0</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">2010</subfield><subfield code="z">Yogyakarta</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="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">Inferenz</subfield><subfield code="g">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4333533-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">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</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">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fermüller, Christian G.</subfield><subfield code="d">1963-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)135982014</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LPAR</subfield><subfield code="n">17</subfield><subfield code="d">2010</subfield><subfield code="c">Yogyakarta</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16085353-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">6397 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6397</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=3532084&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=020629231&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020629231</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Yogyakarta gnd-content |
| genre_facet | Konferenzschrift 2010 Yogyakarta |
| id | DE-604.BV036711138 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:12:57Z |
| institution | BVB |
| institution_GND | (DE-588)16085353-9 |
| isbn | 9783642162411 364216241X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020629231 |
| oclc_num | 688608506 |
| open_access_boolean | |
| owner | DE-706 DE-83 DE-11 DE-91G DE-BY-TUM DE-355 DE-BY-UBR |
| owner_facet | DE-706 DE-83 DE-11 DE-91G DE-BY-TUM DE-355 DE-BY-UBR |
| physical | XII, 656 S. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Logic for programming, artificial intelligence, and reasoning 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 ; proceedings Christian G. Fermüller ... (eds.) Berlin [u.a.] Springer 2010 XII, 656 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6397 : Advanced research in computing and software science Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Programmierlogik (DE-588)4047408-2 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Inferenz Künstliche Intelligenz (DE-588)4333533-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Yogyakarta gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Programmierlogik (DE-588)4047408-2 s Inferenz Künstliche Intelligenz (DE-588)4333533-0 s Künstliche Intelligenz (DE-588)4033447-8 s Automatisches Beweisverfahren (DE-588)4069034-9 s 1\p DE-604 Fermüller, Christian G. 1963- Sonstige (DE-588)135982014 oth LPAR 17 2010 Yogyakarta Sonstige (DE-588)16085353-9 oth Lecture notes in computer science 6397 : Advanced research in computing and software science (DE-604)BV000000607 6397 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3532084&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=020629231&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Logic for programming, artificial intelligence, and reasoning 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 ; proceedings Lecture notes in computer science Künstliche Intelligenz (DE-588)4033447-8 gnd Programmierlogik (DE-588)4047408-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Inferenz Künstliche Intelligenz (DE-588)4333533-0 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4047408-2 (DE-588)4195096-3 (DE-588)4069034-9 (DE-588)4333533-0 (DE-588)1071861417 |
| title | Logic for programming, artificial intelligence, and reasoning 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 ; proceedings |
| title_auth | Logic for programming, artificial intelligence, and reasoning 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 ; proceedings |
| title_exact_search | Logic for programming, artificial intelligence, and reasoning 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 ; proceedings |
| title_full | Logic for programming, artificial intelligence, and reasoning 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 ; proceedings Christian G. Fermüller ... (eds.) |
| title_fullStr | Logic for programming, artificial intelligence, and reasoning 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 ; proceedings Christian G. Fermüller ... (eds.) |
| title_full_unstemmed | Logic for programming, artificial intelligence, and reasoning 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 ; proceedings Christian G. Fermüller ... (eds.) |
| title_short | Logic for programming, artificial intelligence, and reasoning |
| title_sort | logic for programming artificial intelligence and reasoning 17th international conference lpar 17 yogyakarta indonesia october 10 15 2010 proceedings |
| title_sub | 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 ; proceedings |
| topic | Künstliche Intelligenz (DE-588)4033447-8 gnd Programmierlogik (DE-588)4047408-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Inferenz Künstliche Intelligenz (DE-588)4333533-0 gnd |
| topic_facet | Künstliche Intelligenz Programmierlogik Logische Programmierung Automatisches Beweisverfahren Inferenz Künstliche Intelligenz Konferenzschrift 2010 Yogyakarta |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3532084&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=020629231&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT fermullerchristiang logicforprogrammingartificialintelligenceandreasoning17thinternationalconferencelpar17yogyakartaindonesiaoctober10152010proceedings AT lparyogyakarta logicforprogrammingartificialintelligenceandreasoning17thinternationalconferencelpar17yogyakartaindonesiaoctober10152010proceedings |