FEEDBACK Smiley face

Handbook of satisfiability (Record no. 117462)

000 -LEADER
fixed length control field 00801nam a22002777a 4500
003 - CONTROL NUMBER IDENTIFIER
control field IIITD
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200214154325.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 200212b xxu||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781586039295
040 ## - CATALOGING SOURCE
Original cataloging agency IIITD
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Item number BIE-H
245 ## - TITLE STATEMENT
Title Handbook of satisfiability
Statement of responsibility, etc by Armin Biere ...[et al].
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher, distributor, etc IOS Press,
Place of publication, distribution, etc Amsterdam :
Date of publication, distribution, etc ©2009
300 ## - PHYSICAL DESCRIPTION
Extent xiii, 966 p. ;
Dimensions 25cm.
500 ## - GENERAL NOTE
General note Includes bibliographical references and index
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematics
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Decision making
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algebra, Boolean
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Propositional calculus
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer algorithms
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Biere, Armin
Relator term editor
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Heule, Marijn
Relator term editor
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Mareen, Hans Van
Relator term editor
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Walsh, Toby
Relator term editor
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Permanent Location Current Location Shelving location Date acquired Cost, normal purchase price Full call number Barcode Date last seen Cost, replacement price Price effective from Koha item type Bill No. Bill Date PO No. PO Date Vendor/Supplier
        Not For Loan Mathematics IIITD IIITD Reference 2020-02-12 8163.06 REF 511.3 BIE-H 010091 2020-02-12 €150.00 2020-02-12 Reference TB2132 2020-01-01 IIITD/LIC/BS/2018/04/44 2020-01-01 Technical Bureau India Pvt. Ltd.

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in