Automated reasoning: 5th international joint conference ; proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York, NY
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6173 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XII, 534 S. graph. Darst. 24 cm |
| ISBN: | 9783642142024 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036568699 | ||
| 003 | DE-604 | ||
| 005 | 20100915 | ||
| 007 | t| | ||
| 008 | 100716s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N23 |2 dnb | ||
| 016 | 7 | |a 1003136583 |2 DE-101 | |
| 020 | |a 9783642142024 |c kart. : EUR 74.90 (freier Pr.), sfr 109.00 (freier Pr.) |9 978-3-642-14202-4 | ||
| 024 | 3 | |a 9783642142024 | |
| 028 | 5 | 2 | |a 80017110 |
| 035 | |a (OCoLC)658235991 | ||
| 035 | |a (DE-599)DNB1003136583 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 |a DE-706 |a DE-91G |a DE-83 | ||
| 082 | 0 | |a 005.10151136 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a 510 |2 sdnb | ||
| 245 | 1 | 0 | |a Automated reasoning |b 5th international joint conference ; proceedings |c IJCAR 2010, Edinburgh, UK, July 16 - 19, 2010. Jürgen Giesl ; Reiner Hähnle (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York, NY |b Springer |c 2010 | |
| 300 | |a XII, 534 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 6173 : Lecture notes in artificial intelligence | |
| 500 | |a Literaturangaben | ||
| 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 Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Edinburgh |2 gnd-content | |
| 689 | 0 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | 1 | |a Programmierlogik |0 (DE-588)4047408-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 1 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Giesl, Jürgen |4 edt | |
| 711 | 2 | |a IJCAR |n 5 |d 2010 |c Edinburgh |j Sonstige |0 (DE-588)16073237-2 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6173 |w (DE-604)BV000000607 |9 6173 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3487312&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=020489865&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020489865 | |
Datensatz im Suchindex
| _version_ | 1820875244006539264 |
|---|---|
| adam_text |
TABLE OF CONTENTS LOGICAL FRAMEWORKS AND COMBINATION OF SYSTEMS
CURRY-STYLE EXPLICIT SUBSTITUTIONS FOR THE LINEAR AND AFFINE LAMBDA
CALCULUS 1 ANDERS SCHACK-NIELSEN AND CARSTEN SCHUERMANN BELUGA: A
FRAMEWORK FOR PROGRAMMING AND REASONING WITH DEDUCTIVE SYSTEMS (SYSTEM
DESCRIPTION) 15 BRIGITTE PIENTKA AND JOSHUA DUNFIELD MCMT: A MODEL
CHECKER MODULO THEORIES 22 SILVIO GHILARDI AND SILVIO RANISE ON
HIERARCHICAL REASONING IN COMBINATIONS OF THEORIES 30 CARSTEN IHLEMANN
AND VIORICA SOFRONIE-STOKKERMANS DESCRIPTION LOGIC I GLOBAL CACHING FOR
COALGEBRAIC DESCRIPTION LOGICS 46 RAJEEV GORE, CLEMENS KUPKE, DIRK
PATTINSON, AND LUTZ SCHROEDER TRACTABLE EXTENSIONS OF THE DESCRIPTION
LOGIC EC WITH NUMERICAL DATATYPES 61 DESPOINA MAGKA, YEVGENY KAZAKOV,
AND IAN HORROCKS HIGHER-ORDER LOGIC ANALYTIC TABLEAUX FOR HIGHER-ORDER
LOGIC WITH CHOICE 76 JULIAN BACKES AND CHAD E. BROWN MONOTONICITY
INFERENCE FOR HIGHER-ORDER FORMULAS 91 JASMIN CHRISTIAN BLANCHETTE AND
ALEXANDER KRAUSS SLEDGEHAMMER: JUDGEMENT DAY 107 SASCHA BOEHME AND TOBIAS
NIPKOW INVITED TALK LOGIC BETWEEN EXPRESSIVITY AND COMPLEXITY 122 JOHAN
VAN BENTHEM VERIFICATION MULTI-PROVE BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/1003136583 DIGITALISIERT DURCH X TABLE OF CONTENTS
VERIFYING SAFETY PROPERTIES WITH THE TLA+ PROOF SYSTEM 142 KAUSTUV
CHAUDHURI, DAMIEN DOLIGEZ, LESLIE LAMPORT, AND STEPHAN MERZ MUNCH -
AUTOMATED REASOENER FOR SETS AND MULTISETS 149 RUZICA PISKAC AND VIKTOR
KUNCAK A SLICE-BASED DECISION PROCEDURE FOR TYPE-BASED PARTIAL ORDERS
156 ELENA SHERMAN, BRADY J. GARVIN, AND MATTHEW B. DWYER HIERARCHICAL
REASONING FOR THE VERIFICATION OF PARAMETRIC SYSTEMS 171 VIORICA
SOFRONIE-STOKKERMANS FIRST-ORDER LOGIC INTERPOLATION AND SYMBOL
ELIMINATION IN VAMPIRE 188 KRYSTOF HODER, LAURA KOVACS, AND ANDREI
VORONKOV IPROVER-EQ: AN INSTANTIATION-BASED THEOREM PROVER WITH EQUALITY
196 KONSTANTIN KOROVIN AND CHRISTOPH STICKSEI CLASSICAL LOGIC WITH
PARTIAL FUNCTIONS 203 HANS DE NIVELLE NON-CLASSICAL LOGIC AUTOMATED
REASONING FOR RELATIONAL PROBABILISTIC KNOWLEDGE REPRESENTATION 218
CHRISTOPH BEIERLE, MARC FINTHAMMER, GABRIELE KERN-ISBERNER, AND MATTHIAS
THIMM OPTIMAL AND CUT-FREE TABLEAUX FOR PROPOSITIONAL DYNAMIC LOGIC WITH
CONVERSE 225 RAJEEV GORE AND FLORIAN WIDMANN TERMINATING TABLEAUX FOR
HYBRID LOGIC WITH EVENTUALITIES 240 MARK KAMINSKI AND GERT SMOLKA HEROD
AND PILATE: TWO TABLEAU PROVERS FOR BASIC HYBRID LOGIC 255 MARTA TABLE
OF CONTENTS XI DECISION PROCEDURES A DECIDABLE CLASS OF NESTED ITERATED
SCHEMATA 293 VINCENT ARAVANTINOS, RICARDO CAFERRA, AND NICOLAS PELTIER
REGSTAB: A SAT SOLVER FOR PROPOSITIONAL SCHEMATA 309 VINCENT
ARAVANTINOS, RICARDO CAFERRA, AND NICOLAS PELTIER LINEAR QUANTIFIER
ELIMINATION AS AN ABSTRACT DECISION PROCEDURE 316 NIKOLAJ BJ0RNER A
DECISION PROCEDURE FOR CTL* BASED ON TABLEAUX AND AUTOMATA 331 OLIVER
FRIEDMANN, MARKUS LATTE, AND MARTIN LANGE URBIVA: UNIFORM REDUCTION TO
BIT-VECTOR ARITHMETIC 346 FILIP MARIE AND PREDRAG JANICIC KEYNOTE TALK
INDUCTION, INVARIANTS, AND ABSTRACTION 353 DEEPAK KAPUR ARITHMETIC A
SINGLE-SIGNIFICANT-DIGIT CALCULUS FOR SEMI-AUTOMATED GUESSTIMATION 354
JONATHAN A. ABOURBIH, LUKE BLANEY, ALAN BUNDY, AND FIONA MCNEILL PERFECT
DISCRIMINATION GRAPHS: INDEXING TERMS WITH INTEGER EXPONENTS .- 369
HICHAM BENSAID, RICARDO CAFERRA, AND NICOLAS PELTIER AN INTERPOLATING
SEQUENT CALCULUS FOR QUANTIFIER-FREE PRESBURGER ARITHMETIC 384 ANGELO
BRILLOUT, DANIEL KROENING, PHILIPP RUMMER, AND THOMAS WAHL INVITED TALK
BUGS, MOLES AND SKELETONS: SYMBOLIC REASONING FOR SOFTWARE DEVELOPMENT
400 LEONARDO DE MOURA AND NIKOLAJ BJ0RNER APPLICATION XII TABLE OF
CONTENTS SYSTEM DESCRIPTION: THE PROOF TRANSFORMATION SYSTEM CERES 427
TSVETAN DUNCHEV, ALEXANDER LEITSCH, TOMER LIBAL, DANIEL WEILER, AND
BRUNO WOLTZENLOGEL PALEO PREMISE SELECTION IN THE NAPROCHE SYSTEM 434
MARCOS CRAMER, PETER KOEPKE, DANIEL KUEHLWEIN, AND BERNHARD SCHROEDER ON
THE SATURATION OF YAGO 441 MARTIN SUDA, CHRISTOPH WEIDENBACH, AND
PATRICK WISCHNEWSKI DESCRIPTION LOGIC II OPTIMIZED DESCRIPTION LOGIC
REASONING VIA CORE BLOCKING 457 BIRTE GLIMM, IAN HORROCKS, AND BORIS
MOTIK AN EXTENSION OF COMPLEX ROLE INCLUSION AXIOMS IN THE DESCRIPTION
LOGIC SNOLQ 472 YEVGENY KAZAKOV TERMINATION DECREASING DIAGRAMS AND
RELATIVE TERMINATION 487 NAO HIROKAWA AND AART MIDDELDORP MONOTONICITY
CRITERIA FOR POLYNOMIAL INTERPRETATIONS OVER THE NATURALS 502 FRIEDRICH
NEURAUTER, AART MIDDELDORP, AND HARALD ZANKL TERMINATION TOOLS IN
ORDERED COMPLETION 518 SARAH WINKLER AND AART MIDDELDORP AUTHOR INDEX
533 |
| any_adam_object | 1 |
| author2 | Giesl, Jürgen |
| author2_role | edt |
| author2_variant | j g jg |
| author_facet | Giesl, Jürgen |
| building | Verbundindex |
| bvnumber | BV036568699 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)658235991 (DE-599)DNB1003136583 |
| dewey-full | 005.10151136 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.10151136 |
| dewey-search | 005.10151136 |
| dewey-sort | 15.10151136 |
| dewey-tens | 000 - Computer science, information, general works |
| 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">BV036568699</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100915</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100716s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N23</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1003136583</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642142024</subfield><subfield code="c">kart. : EUR 74.90 (freier Pr.), sfr 109.00 (freier Pr.)</subfield><subfield code="9">978-3-642-14202-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642142024</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80017110</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)658235991</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1003136583</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-11</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.10151136</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">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automated reasoning</subfield><subfield code="b">5th international joint conference ; proceedings</subfield><subfield code="c">IJCAR 2010, Edinburgh, UK, July 16 - 19, 2010. Jürgen Giesl ; Reiner Hähnle (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York, NY</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 534 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">6173 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2010</subfield><subfield code="z">Edinburgh</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="1"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</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">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Giesl, Jürgen</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">IJCAR</subfield><subfield code="n">5</subfield><subfield code="d">2010</subfield><subfield code="c">Edinburgh</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16073237-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">6173</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6173</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3487312&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=020489865&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-020489865</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Edinburgh gnd-content |
| genre_facet | Konferenzschrift 2010 Edinburgh |
| id | DE-604.BV036568699 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:12:32Z |
| institution | BVB |
| institution_GND | (DE-588)16073237-2 |
| isbn | 9783642142024 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020489865 |
| oclc_num | 658235991 |
| open_access_boolean | |
| owner | DE-11 DE-706 DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-11 DE-706 DE-91G DE-BY-TUM DE-83 |
| physical | XII, 534 S. graph. Darst. 24 cm |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Automated reasoning 5th international joint conference ; proceedings IJCAR 2010, Edinburgh, UK, July 16 - 19, 2010. Jürgen Giesl ; Reiner Hähnle (ed.) Berlin ; Heidelberg ; New York, NY Springer 2010 XII, 534 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6173 : Lecture notes in artificial intelligence Literaturangaben Programmierlogik (DE-588)4047408-2 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Beweistheorie (DE-588)4145177-6 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Edinburgh gnd-content Automatisches Beweisverfahren (DE-588)4069034-9 s Programmierlogik (DE-588)4047408-2 s DE-604 Beweistheorie (DE-588)4145177-6 s Logik (DE-588)4036202-4 s Giesl, Jürgen edt IJCAR 5 2010 Edinburgh Sonstige (DE-588)16073237-2 oth Lecture notes in computer science 6173 (DE-604)BV000000607 6173 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3487312&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=020489865&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Automated reasoning 5th international joint conference ; proceedings Lecture notes in computer science Programmierlogik (DE-588)4047408-2 gnd Logik (DE-588)4036202-4 gnd Beweistheorie (DE-588)4145177-6 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| subject_GND | (DE-588)4047408-2 (DE-588)4036202-4 (DE-588)4145177-6 (DE-588)4069034-9 (DE-588)1071861417 |
| title | Automated reasoning 5th international joint conference ; proceedings |
| title_auth | Automated reasoning 5th international joint conference ; proceedings |
| title_exact_search | Automated reasoning 5th international joint conference ; proceedings |
| title_full | Automated reasoning 5th international joint conference ; proceedings IJCAR 2010, Edinburgh, UK, July 16 - 19, 2010. Jürgen Giesl ; Reiner Hähnle (ed.) |
| title_fullStr | Automated reasoning 5th international joint conference ; proceedings IJCAR 2010, Edinburgh, UK, July 16 - 19, 2010. Jürgen Giesl ; Reiner Hähnle (ed.) |
| title_full_unstemmed | Automated reasoning 5th international joint conference ; proceedings IJCAR 2010, Edinburgh, UK, July 16 - 19, 2010. Jürgen Giesl ; Reiner Hähnle (ed.) |
| title_short | Automated reasoning |
| title_sort | automated reasoning 5th international joint conference proceedings |
| title_sub | 5th international joint conference ; proceedings |
| topic | Programmierlogik (DE-588)4047408-2 gnd Logik (DE-588)4036202-4 gnd Beweistheorie (DE-588)4145177-6 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| topic_facet | Programmierlogik Logik Beweistheorie Automatisches Beweisverfahren Konferenzschrift 2010 Edinburgh |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3487312&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=020489865&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT giesljurgen automatedreasoning5thinternationaljointconferenceproceedings AT ijcaredinburgh automatedreasoning5thinternationaljointconferenceproceedings |