Holdings: Automated deduction

Automated deduction: a basis for applications 2 Systems and implementation techniques

Saved in:

Bibliographic Details
Format:	Book
Language:	English
Published:	Dordrecht [u.a.] Kluwer 1998
Series:	Applied logic series 9
Online Access:	Inhaltsverzeichnis
Physical Description:	XIV, 434 S. graph. Darst.
ISBN:	0792351304

Staff View

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

Record in the Search Index

_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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items