Wellcome

Introduction to mathematics of satisfiability (Record no. 332045)

MARC details
000 -LEADER
fixed length control field 01315cam a2200349Ia 4500
001 -
control field CAH00K10101PDF
003 -
control field FlBoTFG
005 -
control field 20120525154012.0
006 -
fixed length control field a|||||s|||||||||||
007 -
fixed length control field cr||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 090423s2009 flua sb 001 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781439801741 (ebook : PDF)
040 ## -
-- FlBoTFG
-- FlBoTFG
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER
-- QA9.3
-- .M37 2009
092 ## -
-- 511.3
-- M323
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Marek, V. W.
245 10 - TITLE STATEMENT
Title Introduction to mathematics of satisfiability
Statement of responsibility, etc Victor W. Marek.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Boca Raton :
Name of publisher, distributor, etc CRC Press,
Date of publication, distribution, etc c2009.
300 ## - PHYSICAL DESCRIPTION
Extent xiii, 350 p. :
Other physical details ill.
500 ## - GENERAL NOTE
General note "A Chapman & Hall book."
650 #0 -
Topical term or geographic name as entry element Propositional calculus.
Topical term or geographic name as entry element Logic, Symbolic and mathematical.
856 40 -
Uniform Resource Identifier http://marc.crcnetbase.com/isbn/9781439801741
100 1# - MAIN ENTRY--PERSONAL NAME
-- (V. Wiktor),
-- 1943-
245 10 - TITLE STATEMENT
-- [electronic resource] /
490 1# -
-- Chapman & Hall/CRC studies in informatics series
504 ## -
-- Includes bibliographical references (p. 343-346) and index.
530 ## -
-- Also available in print edition.
538 ## -
-- Mode of access: World Wide Web.
655 #7 -
-- Electronic books.
-- lcsh
776 1# -
-- 9781439801673
-- 1439801673
830 #0 -
-- Chapman & Hall/CRC studies in informatics series.
856 40 -
-- application/PDF
-- Distributed by publisher. Purchase or institutional license may be required for access.
952 ## - LOCATION AND ITEM INFORMATION (KOHA)
-- 0
Holdings
Withdrawn status Lost status Damaged status Home library Current library Date acquired Total Checkouts Barcode Date last seen Koha item type
      Mysore University Main Library Mysore University Main Library 25/05/2012   EBCP01660 25/05/2012 Ebooks

No. of hits (from 9th Mar 12) :

Powered by Koha