عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1586039296
(Number (ISBN
9781586039295
NATIONAL BIBLIOGRAPHY NUMBER
Number
dltt
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Handbook of satisfiability /
General Material Designation
[Book]
First Statement of Responsibility
edited by Armin Biere ... [et al.]
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Washington, DC ;
Name of Publisher, Distributor, etc.
IOS Press,
Date of Publication, Distribution, etc.
c2009
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiii, 966 p. :
Other Physical Details
ill. ;
Dimensions
25 cm
SERIES
Series Title
Frontiers in artificial intelligence and applications,
Volume Designation
v. 185
ISSN of Series
0922-6389 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and indexes
TOPICAL NAME USED AS SUBJECT
Algebra, Boolean, Congresses
Computer algorithms, Congresses
Decision making, Congresses
Propositional calculus, Congresses
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Biere, Armin
ORIGINATING SOURCE
Date of Transaction
20090714010448.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
