INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9781439801673 (hardcover : alk. paper)
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
E-8801
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Introduction to mathematics of satisfiability
General Material Designation
[Book]
First Statement of Responsibility
/ Victor W. Marek
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Boca Raton
Name of Publisher, Distributor, etc.
: CRC Press,
Date of Publication, Distribution, etc.
, c2009.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiii, 350 p.
Other Physical Details
: ill.
Dimensions
; 25 cm.
SERIES
Series Title
(Chapman & Hall/CRC studies in informatics series.)
GENERAL NOTES
Text of Note
"A Chapman & Hall book."
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Print - Electronic
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
CONTENTS NOTE
Text of Note
Sets, lattices, and Boolean algebras -- Introduction to propositional logic -- Normal forms of formulas -- The Craig lemma -- Complete sets of functors -- Compactness theorem -- Clausal logic and resolution -- Testing satisfiability -- Polynomial cases of SAT -- SAT, interger programming, and matrix algebra -- Coding runs of Turing machines, NP-completeness -- Computational knowledge representation with SAT - getting started -- Knowledge representation and constraint satisfaction -- Answer set programming.
SERIES
Title
Chapman & Hall/CRC studies in informatics series
TOPICAL NAME USED AS SUBJECT
Propositional calculus.
Logic, Symbolic and mathematical.
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
.
3
Book number
.
M37
2009
PERSONAL NAME - PRIMARY RESPONSIBILITY
Marek, Wiktor
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Host name
Introduction to mathematics of satisfiability
Access number
عادی
Compression information
عادی
Electronic name
E-8801.pdf
Bits per second
0
Contact for access assistance
ایمانی
Electronic Format Type
متن
File size
0
Record control number
E-8801
Public note
انگلیسی
old catalog
pe
BL
1
a
Y
