Automated deduction: a basis for applications 2 Systems and implementation techniques
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Dordrecht [u.a.]
Kluwer
1998
|
| Schriftenreihe: | Applied logic series
9 |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIV, 434 S. graph. Darst. |
| ISBN: | 0792351304 |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV012067423 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 980721s1998 d||| |||| 00||| eng d | ||
| 020 | |a 0792351304 |9 0-7923-5130-4 | ||
| 035 | |a (OCoLC)634231478 | ||
| 035 | |a (DE-599)BVBBV012067423 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-29 |a DE-29T |a DE-739 |a DE-473 |a DE-188 | ||
| 084 | |a 5,1 |2 ssgn | ||
| 245 | 1 | 0 | |a Automated deduction |b a basis for applications |n 2 |p Systems and implementation techniques |c ed. by Wolfgang Bibel ... |
| 264 | 1 | |a Dordrecht [u.a.] |b Kluwer |c 1998 | |
| 300 | |a XIV, 434 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Applied logic series |v 9 | |
| 490 | 0 | |a Applied logic series |v ... | |
| 700 | 1 | |a Bibel, Wolfgang |d 1938- |e Sonstige |0 (DE-588)123426294 |4 oth | |
| 773 | 0 | 8 | |w (DE-604)BV012067411 |g 2 |
| 830 | 0 | |a Applied logic series |v 9 |w (DE-604)BV011076498 |9 9 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008168525&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008168525 | ||
Datensatz im Suchindex
| _version_ | 1804126666543333376 |
|---|---|
| adam_text | AUTOMATED DEDUCTION - A BASIS FOR APPLICATIONS VOLUME II SYSTEMS AND
IMPLEMENTATION TECHNIQUES EDITED BY WOLFGANG BIBEL DARMSTADT UNIVERSITY
OF TECHNOLOGY, GERMANY AND PETER H. SCHMITT UNIVERSITY OF KARLSRUHE,
GERMANY FF KLUWER ACADEMIC PUBLISHERS DORDRECHT / BOSTON / LONDON
TABLE OF CONTENTS VOLUME II: SYSTEMS AND IMPLEMENTATION TECHNIQUES
AFFILIATIONS OF THE AUTHORS XI PART ONE / INTERACTIVE THEOREM PROVING
TOBIAS NIPKOW AND WOLFGANG REIF / INTRODUCTION 3 CHAPTER 1. WOLFGANG
REIF, GERHARD SCHELL- HORN, KURT STENZEL AND MICHAEL BALSER / STRUCTURED
SPECIFICATIONS AND INTERACTIVE PROOFS WITH KIV 13 CHAPTER 2. HOLGER
BENL, ULRICH BERGER, HELMUT SCHWICHTENBERG, MONIKA SEISEN- BERGER AND
WOLFGANG ZUBER / PROOF THEORY AT WORK: PROGRAM DEVELOPMENT IN THE MINLOG
SYSTEM 41 CHAPTER 3. MARTIN STRECKER, MARKO LUTHER AND FRIEDRICH VON
HENKE / INTERACTIVE AND AUTOMATED PROOF CONSTRUCTION IN TYPE THEORY 73
CHAPTER 4. WOLFGANG AHRENDT, BERNHARD BECKERT, REINER HAEHNLE, WOLFRAM
MENZEL, WOLFGANG REIF, GERHARD SCHELLHORN AND PETER H. SCHMITT /
INTEGRATING AUTOMATED AND INTERACTIVE THEOREM PROVING 97 PART TWO /
REPRESENTATION AND OPTIMIZATION TECHNIQUES JOERG SIEKMANN AND DETLEF
FEHRER / INTRODUCTION 119 CHAPTER 5. PETER GRAF AND DETLEF FEHRER / TERM
INDEXING 125 VI TABLE OF CONTENTS CHAPTER 6. DETLEF FEHRER / DEVELOPING
DEDUCTION SYSTEMS: THE TOOLBOX STYLE 149 CHAPTER 7. GERD NEUGEBAUER AND
UWE PETER- MANN / SPECIFICATIONS OF INFERENCE RULES: EXTENSIONS OF THE
PTTP TECHNIQUE 167 CHAPTER 8. THOMAS KOLBE AND CHRISTOPH WALTHER / PROOF
ANALYSIS, GENERALIZATION AND REUSE 189 PART THREE / PARALLEL INFERENCE
SYSTEMS WOLFGANG KUECHLIN / INTRODUCTION 223 CHAPTER 9. REINHARD BUENDGEN,
MANFRED GOEBEL, WOLFGANG KUECHLIN, AND ANDREAS WEBER / PARALLEL TERM
REWRITING WITH PAREDUX 231 CHAPTER 10. JOHANN SCHUMANN, ANDREAS WOLF AND
CHRISTIAN SUTTNER / PARALLEL THEOREM PROVERS BASED ON SETHEO 261 CHAPTER
11. SVEN-ERIK BORNSCHEUER, STEFFEN HOELLDOBLER, YVONNE KALINKE AND ANTJE
STROHMAIER / MASSIVELY PARALLEL REASONING 291 PART FOUR / COMPARISION
AND COOPERATION OF THEOREM PROVERS JUERGEN AVENHAUS / INTRODUCTION 325
CHAPTER 12. MATTHIAS BAAZ, UWE EGLY AND ALEXANDER LEITSCH / EXTENSION
METHODS IN AUTOMATED DEDUCTION 331 CHAPTER 13. JOERG DENZINGER AND
MATTHIAS FUCHS / A COMPARISON OF EQUALITY REASONING HEURISTICS 361
CHAPTER 14. JOERG DENZINGER AND INGO DAHN / COOPERATING THEOREM PROVERS
383 INDEX 417
|
| any_adam_object | 1 |
| author_GND | (DE-588)123426294 |
| building | Verbundindex |
| bvnumber | BV012067423 |
| ctrlnum | (OCoLC)634231478 (DE-599)BVBBV012067423 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01291nam a2200325 cc4500</leader><controlfield tag="001">BV012067423</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980721s1998 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792351304</subfield><subfield code="9">0-7923-5130-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634231478</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012067423</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-91G</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automated deduction</subfield><subfield code="b">a basis for applications</subfield><subfield code="n">2</subfield><subfield code="p">Systems and implementation techniques</subfield><subfield code="c">ed. by Wolfgang Bibel ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Kluwer</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 434 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">Applied logic series</subfield><subfield code="v">9</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Applied logic series</subfield><subfield code="v">...</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bibel, Wolfgang</subfield><subfield code="d">1938-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)123426294</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV012067411</subfield><subfield code="g">2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Applied logic series</subfield><subfield code="v">9</subfield><subfield code="w">(DE-604)BV011076498</subfield><subfield code="9">9</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=008168525&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008168525</subfield></datafield></record></collection> |
| id | DE-604.BV012067423 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:21:05Z |
| institution | BVB |
| isbn | 0792351304 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008168525 |
| oclc_num | 634231478 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-29 DE-29T DE-739 DE-473 DE-BY-UBG DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-29 DE-29T DE-739 DE-473 DE-BY-UBG DE-188 |
| physical | XIV, 434 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Kluwer |
| record_format | marc |
| series | Applied logic series |
| series2 | Applied logic series |
| spelling | Automated deduction a basis for applications 2 Systems and implementation techniques ed. by Wolfgang Bibel ... Dordrecht [u.a.] Kluwer 1998 XIV, 434 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Applied logic series 9 Applied logic series ... Bibel, Wolfgang 1938- Sonstige (DE-588)123426294 oth (DE-604)BV012067411 2 Applied logic series 9 (DE-604)BV011076498 9 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008168525&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Automated deduction a basis for applications Applied logic series |
| title | Automated deduction a basis for applications |
| title_auth | Automated deduction a basis for applications |
| title_exact_search | Automated deduction a basis for applications |
| title_full | Automated deduction a basis for applications 2 Systems and implementation techniques ed. by Wolfgang Bibel ... |
| title_fullStr | Automated deduction a basis for applications 2 Systems and implementation techniques ed. by Wolfgang Bibel ... |
| title_full_unstemmed | Automated deduction a basis for applications 2 Systems and implementation techniques ed. by Wolfgang Bibel ... |
| title_short | Automated deduction |
| title_sort | automated deduction a basis for applications systems and implementation techniques |
| title_sub | a basis for applications |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008168525&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV012067411 (DE-604)BV011076498 |
| work_keys_str_mv | AT bibelwolfgang automateddeductionabasisforapplications2 |