Handbook of satisfiability (Record no. 99757)

MARC details
000 -LEADER
fixed length control field 01477nam a2200361Ia 4500
001 - CONTROL NUMBER
control field 0000110607
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20171002055817.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m u
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cn|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 081220s2009 ne a sb 001 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9781586039295
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 1586039296
035 ## - SYSTEM CONTROL NUMBER
System control number (CaPaEBR)ebr10309230
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)430355954
040 ## - CATALOGING SOURCE
Original cataloging agency CaPaEBR
Transcribing agency CaPaEBR
050 14 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA9.3
Item number .H36 2009eb
245 00 - TITLE STATEMENT
Title Handbook of satisfiability
Medium [electronic resource] /
Statement of responsibility, etc. edited by Armin Biere ... [et al.].
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Amsterdam, The Netherlands ;
-- Washington, DC :
Name of publisher, distributor, etc. IOS Press,
Date of publication, distribution, etc. c2009.
300 ## - PHYSICAL DESCRIPTION
Extent xiii, 966 p. :
Other physical details ill.
490 1# - SERIES STATEMENT
Series statement Frontiers in artificial intelligence and applications,
International Standard Serial Number 0922-6389 ;
Volume/sequential designation v. 185
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references and indexes.
533 ## - REPRODUCTION NOTE
Type of reproduction Electronic reproduction.
Place of reproduction Palo Alto, Calif. :
Agency responsible for reproduction ebrary,
Date of reproduction 2011.
Note about reproduction Available via World Wide Web.
-- Access may be limited to ebrary affiliated libraries.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Propositional calculus
Form subdivision Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Decision making
Form subdivision Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer algorithms
Form subdivision Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Algebra, Boolean
Form subdivision Congresses.
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
Source of term local
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Biere, Armin.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element ebrary, Inc.
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Frontiers in artificial intelligence and applications ;
Volume/sequential designation v. 185.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="http://site.ebrary.com/lib/daystar/Doc?id=10309230">http://site.ebrary.com/lib/daystar/Doc?id=10309230</a>
Public note An electronic book accessible through the World Wide Web; click to view
908 ## - PUT COMMAND PARAMETER (RLIN)
Put command parameter 170314
942 00 - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Electronic Book

No items available.