Holdings: Effective logic computation

Effective logic computation:

Saved in:

Bibliographic Details
Main Author:	Truemper, Klaus (Author)
Format:	Book
Language:	English
Published:	New York [u.a.] Wiley 1998
Subjects:	Logique - Informatique Programmation logique Systèmes, Analyse de Logic, Symbolic and mathematical Operations research System analysis Logische Programmierung Mathematische Logik Aussagenlogik Lösung > Mathematik
Online Access:	Inhaltsverzeichnis
Item Description:	"A Wiley-Interscience publication."
Physical Description:	476 S.
ISBN:	0471238864

Staff View

MARC


LEADER	00000nam a2200000zc 4500
001	BV021721018
003	DE-604
005	20061004
007	t
008	060906s1998 xxu \|\|\|\| 00\|\|\| eng d
020			\|a 0471238864 \|c cloth \|9 0-471-23886-4
035			\|a (OCoLC)37373437
035			\|a (DE-599)BVBBV021721018
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
044			\|a xxu \|c US
049			\|a DE-703 \|a DE-634 \|a DE-83 \|a DE-188
050		0	\|a T57.6
082	0		\|a 003 \|2 21
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a ST 125 \|0 (DE-625)143586: \|2 rvk
084			\|a 68Q15 \|2 msc
084			\|a 03D15 \|2 msc
100	1		\|a Truemper, Klaus \|e Verfasser \|4 aut
245	1	0	\|a Effective logic computation \|c Klaus Truemper
264		1	\|a New York [u.a.] \|b Wiley \|c 1998
300			\|a 476 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
500			\|a "A Wiley-Interscience publication."
650		7	\|a Logique - Informatique \|2 ram
650		7	\|a Programmation logique \|2 ram
650		7	\|a Systèmes, Analyse de \|2 ram
650		4	\|a Logic, Symbolic and mathematical
650		4	\|a Operations research
650		4	\|a System analysis
650	0	7	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Aussagenlogik \|0 (DE-588)4136098-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Lösung \|g Mathematik \|0 (DE-588)4120678-2 \|2 gnd \|9 rswk-swf
689	0	0	\|a Aussagenlogik \|0 (DE-588)4136098-9 \|D s
689	0	1	\|a Lösung \|g Mathematik \|0 (DE-588)4120678-2 \|D s
689	0		\|5 DE-604
689	1	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	1	1	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|D s
689	1		\|5 DE-188
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=014934691&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-014934691

Record in the Search Index

_version_	1804135562924261376
adam_text	EFFECTIVE LOGIC COMPUTATION KLAUS TRUEMPER A WILEY-INTERSCIENCE PUBLICATION JOHN WILEY & SONS, INC. NEW YORK * CHICHESTER * WEINHEIM * BRISBANE * SINGAPORE * TORONTO CONTENTS PREFACE , IX CHAPTER 1 INTRODUCTION 1.1 OVERVIEW 1 1.2 HISTORY 5 1.3 LOGIC PROBLEMS 7 1.4 PRIOR RESULTS 9 1.5 OVERALL APPROACH 17 1.6 READING GUIDE 20 CHAPTER 2 BASIC CONCEPTS 22 2.1 OVERVIEW 22 2.2 SETS 22 2.3 PROPOSITIONAL LOGIC 23 2.4 FIRST-ORDER LOGIC 31 2.5 GRAPHS 33 2.6 MATRICES 49 2.7 COMPLEXITY OF ALGORITHMS 67 2.8 REFERENCES 68 CONTENTS VII CHAPTER 6 CHARACTERIZATIONS OF HIDDEN NEAR NEGATIVITY 228 6.1 OVERVIEW 228 6.2 MINIMAL EXCLUDED BOOLEAN MINORS 229 6.3 MINIMAL EXCLUDED SUBREGIONS 244 6.4 REFERENCES 254 CHAPTER 7 BOOLEAN CLOSED MATRICES 256 7.1 OVERVIEW 256 7.2 DEFINITIONS 260 7.3 CHARACTERIZATIONS 262 7.4 PROPERTIES 270 7.5 ALGORITHMS 275 7.6 EXTENSIONS 281 CHAPTER 8 CLOSED SUBREGION DECOMPOSITION 282 8.1 OVERVIEW 282 8.2 ALGORITHM FOR SAT AND MINSAT 285 8.3 HEURISTIC FOR INTEGER PROGRAMS 291 8.4 DECOMPOSITION FOR 2SAT 297 8.5 DECOMPOSITION FOR HIDDEN NEAR NEGATIVITY 300 8.6 DECOMPOSITION FOR NETWORK PROPERTY 303 8.7 EXTENSIONS AND REFERENCES 307 CHAPTER 9 MONOTONE SUM 313 9.1 OVERVIEW 313 9.2 DEFINITIONS AND PROPERTIES 314 9.3 DECOMPOSITION ALGORITHM 317 9.4 SOLUTION ALGORITHM 322 9.5 EXTENSIONS AND REFERENCES 327 CHAPTER 10 CLOSED SUM 330 10.1 OVERVIEW 330 10.2 REVIEW AND DEFINITIONS 331 10.3 DECOMPOSITION ALGORITHMS 334 10.4 SOLUTION ALGORITHM 341 10.5 EXTENSIONS 348 VIII CONTENTS CHAPTER 11 AUGMENTED SUM 350 11.1 OVERVIEW 350 11.2 DEFINITIONS 351 11.3 DECOMPOSITION ALGORITHM 356 11.4 SOLUTION ALGORITHM 360 11.5 EXTENSIONS AND REFERENCES 367 CHAPTER 12 LINEAR SUM 369 12.1 OVERVIEW 369 12.2 DEFINITIONS 370 . 12.3 DECOMPOSITION ALGORITHMS 376 12.4 SOLUTION ALGORITHM 381 12.5 EXTENSIONS 391 CHAPTER 13 ANALYSIS ALGORITHM 394 13.1 OVERVIEW 394 13.2 STRUCTURE OF SOLUTION ALGORITHMS 395 13.3 ALGORITHM FOR COMPONENT MATRIX 397 13.4 ANALYSIS ALGORITHM 401 13.5 APPROXIMATE MINIMIZATION 414 13.6 PRE- AND POSTPROCESSING 417 13.7 EXTENSIONS AND REFERENCES 421 CHAPTER 14 CENTRAL AND SEMICENTRAL CLASSES 422 14.1 OVERVIEW 422 14.2 REVIEW OF CENTRALITY AND SEMICENTRALITY RESULTS 422 14.3 CONSTRUCTION OF CENTRAL AND SEMICENTRAL CLASSES 426 14.4 LINK TO ANALYSIS ALGORITHM 428 14.5 EXTENSIONS AND REFERENCES 430 REFERENCES 431 AUTHOR INDEX 451 SUBJECT INDEX 457
adam_txt	EFFECTIVE LOGIC COMPUTATION KLAUS TRUEMPER A WILEY-INTERSCIENCE PUBLICATION JOHN WILEY & SONS, INC. NEW YORK * CHICHESTER * WEINHEIM * BRISBANE * SINGAPORE * TORONTO CONTENTS PREFACE , IX CHAPTER 1 INTRODUCTION 1.1 OVERVIEW 1 1.2 HISTORY 5 1.3 LOGIC PROBLEMS 7 1.4 PRIOR RESULTS 9 1.5 OVERALL APPROACH 17 1.6 READING GUIDE 20 CHAPTER 2 BASIC CONCEPTS 22 2.1 OVERVIEW 22 2.2 SETS 22 2.3 PROPOSITIONAL LOGIC 23 2.4 FIRST-ORDER LOGIC 31 2.5 GRAPHS 33 2.6 MATRICES 49 2.7 COMPLEXITY OF ALGORITHMS 67 2.8 REFERENCES 68 CONTENTS VII CHAPTER 6 CHARACTERIZATIONS OF HIDDEN NEAR NEGATIVITY 228 6.1 OVERVIEW 228 6.2 MINIMAL EXCLUDED BOOLEAN MINORS 229 6.3 MINIMAL EXCLUDED SUBREGIONS 244 6.4 REFERENCES 254 CHAPTER 7 BOOLEAN CLOSED MATRICES 256 7.1 OVERVIEW 256 7.2 DEFINITIONS 260 7.3 CHARACTERIZATIONS 262 7.4 PROPERTIES 270 7.5 ALGORITHMS 275 7.6 EXTENSIONS 281 CHAPTER 8 CLOSED SUBREGION DECOMPOSITION 282 8.1 OVERVIEW 282 8.2 ALGORITHM FOR SAT AND MINSAT 285 8.3 HEURISTIC FOR INTEGER PROGRAMS 291 8.4 DECOMPOSITION FOR 2SAT 297 8.5 DECOMPOSITION FOR HIDDEN NEAR NEGATIVITY 300 8.6 DECOMPOSITION FOR NETWORK PROPERTY 303 8.7 EXTENSIONS AND REFERENCES 307 CHAPTER 9 MONOTONE SUM 313 9.1 OVERVIEW 313 9.2 DEFINITIONS AND PROPERTIES 314 9.3 DECOMPOSITION ALGORITHM 317 9.4 SOLUTION ALGORITHM 322 9.5 EXTENSIONS AND REFERENCES 327 CHAPTER 10 CLOSED SUM 330 10.1 OVERVIEW 330 10.2 REVIEW AND DEFINITIONS 331 10.3 DECOMPOSITION ALGORITHMS 334 10.4 SOLUTION ALGORITHM 341 10.5 EXTENSIONS 348 VIII CONTENTS CHAPTER 11 AUGMENTED SUM 350 11.1 OVERVIEW 350 11.2 DEFINITIONS 351 11.3 DECOMPOSITION ALGORITHM 356 11.4 SOLUTION ALGORITHM 360 11.5 EXTENSIONS AND REFERENCES 367 CHAPTER 12 LINEAR SUM 369 12.1 OVERVIEW 369 12.2 DEFINITIONS 370 . 12.3 DECOMPOSITION ALGORITHMS 376 12.4 SOLUTION ALGORITHM 381 12.5 EXTENSIONS 391 CHAPTER 13 ANALYSIS ALGORITHM 394 13.1 OVERVIEW 394 13.2 STRUCTURE OF SOLUTION ALGORITHMS 395 13.3 ALGORITHM FOR COMPONENT MATRIX 397 13.4 ANALYSIS ALGORITHM 401 13.5 APPROXIMATE MINIMIZATION 414 13.6 PRE- AND POSTPROCESSING 417 13.7 EXTENSIONS AND REFERENCES 421 CHAPTER 14 CENTRAL AND SEMICENTRAL CLASSES 422 14.1 OVERVIEW 422 14.2 REVIEW OF CENTRALITY AND SEMICENTRALITY RESULTS 422 14.3 CONSTRUCTION OF CENTRAL AND SEMICENTRAL CLASSES 426 14.4 LINK TO ANALYSIS ALGORITHM 428 14.5 EXTENSIONS AND REFERENCES 430 REFERENCES 431 AUTHOR INDEX 451 SUBJECT INDEX 457
any_adam_object	1
any_adam_object_boolean	1
author	Truemper, Klaus
author_facet	Truemper, Klaus
author_role	aut
author_sort	Truemper, Klaus
author_variant	k t kt
building	Verbundindex
bvnumber	BV021721018
callnumber-first	T - Technology
callnumber-label	T57
callnumber-raw	T57.6
callnumber-search	T57.6
callnumber-sort	T 257.6
callnumber-subject	T - General Technology
classification_rvk	SK 130 ST 125
ctrlnum	(OCoLC)37373437 (DE-599)BVBBV021721018
dewey-full	003
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	003 - Systems
dewey-raw	003
dewey-search	003
dewey-sort	13
dewey-tens	000 - Computer science, information, general works
discipline	Informatik Mathematik
discipline_str_mv	Informatik Mathematik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02017nam a2200553zc 4500</leader><controlfield tag="001">BV021721018</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20061004 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">060906s1998 xxu \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0471238864</subfield><subfield code="c">cloth</subfield><subfield code="9">0-471-23886-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)37373437</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021721018</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">T57.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">003</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68Q15</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03D15</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Truemper, Klaus</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Effective logic computation</subfield><subfield code="c">Klaus Truemper</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Wiley</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">476 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="500" ind1=" " ind2=" "><subfield code="a">"A Wiley-Interscience publication."</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique - Informatique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation logique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systèmes, Analyse de</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Operations research</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System analysis</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Lösung</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4120678-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Lösung</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4120678-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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><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-188</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=014934691&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-014934691</subfield></datafield></record></collection>
id	DE-604.BV021721018
illustrated	Not Illustrated
index_date	2024-07-02T15:23:24Z
indexdate	2024-07-09T20:42:29Z
institution	BVB
isbn	0471238864
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-014934691
oclc_num	37373437
open_access_boolean
owner	DE-703 DE-634 DE-83 DE-188
owner_facet	DE-703 DE-634 DE-83 DE-188
physical	476 S.
publishDate	1998
publishDateSearch	1998
publishDateSort	1998
publisher	Wiley
record_format	marc
spelling	Truemper, Klaus Verfasser aut Effective logic computation Klaus Truemper New York [u.a.] Wiley 1998 476 S. txt rdacontent n rdamedia nc rdacarrier "A Wiley-Interscience publication." Logique - Informatique ram Programmation logique ram Systèmes, Analyse de ram Logic, Symbolic and mathematical Operations research System analysis Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Aussagenlogik (DE-588)4136098-9 gnd rswk-swf Lösung Mathematik (DE-588)4120678-2 gnd rswk-swf Aussagenlogik (DE-588)4136098-9 s Lösung Mathematik (DE-588)4120678-2 s DE-604 Mathematische Logik (DE-588)4037951-6 s Logische Programmierung (DE-588)4195096-3 s DE-188 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014934691&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Truemper, Klaus Effective logic computation Logique - Informatique ram Programmation logique ram Systèmes, Analyse de ram Logic, Symbolic and mathematical Operations research System analysis Logische Programmierung (DE-588)4195096-3 gnd Mathematische Logik (DE-588)4037951-6 gnd Aussagenlogik (DE-588)4136098-9 gnd Lösung Mathematik (DE-588)4120678-2 gnd
subject_GND	(DE-588)4195096-3 (DE-588)4037951-6 (DE-588)4136098-9 (DE-588)4120678-2
title	Effective logic computation
title_auth	Effective logic computation
title_exact_search	Effective logic computation
title_exact_search_txtP	Effective logic computation
title_full	Effective logic computation Klaus Truemper
title_fullStr	Effective logic computation Klaus Truemper
title_full_unstemmed	Effective logic computation Klaus Truemper
title_short	Effective logic computation
title_sort	effective logic computation
topic	Logique - Informatique ram Programmation logique ram Systèmes, Analyse de ram Logic, Symbolic and mathematical Operations research System analysis Logische Programmierung (DE-588)4195096-3 gnd Mathematische Logik (DE-588)4037951-6 gnd Aussagenlogik (DE-588)4136098-9 gnd Lösung Mathematik (DE-588)4120678-2 gnd
topic_facet	Logique - Informatique Programmation logique Systèmes, Analyse de Logic, Symbolic and mathematical Operations research System analysis Logische Programmierung Mathematische Logik Aussagenlogik Lösung Mathematik
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014934691&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT truemperklaus effectivelogiccomputation

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