FEEDBACK Smiley face

Logic in computer science : (Record no. 6697)

000 -LEADER
fixed length control field 01019cam a22003014a 4500
001 - CONTROL NUMBER
control field 13550178
003 - CONTROL NUMBER IDENTIFIER
control field IIITD
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20190705170349.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 040407s2004 enka b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2004045921
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 052154310X
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780521670890
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency DLC
042 ## - AUTHENTICATION CODE
Authentication code pcc
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.L63
Item number H88 2004
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.101
Edition number 22
Item number HUT-L
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Huth, Michael
245 10 - TITLE STATEMENT
Title Logic in computer science :
Remainder of title modelling and reasoning about systems
Statement of responsibility, etc Michael Huth, Mark Ryan.
250 ## - EDITION STATEMENT
Edition statement 2nd ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc New Delhi :
Name of publisher, distributor, etc Cambridge University Press,
Date of publication, distribution, etc ©2004.
300 ## - PHYSICAL DESCRIPTION
Extent xiv, 427 p. :
Other physical details ill. ;
Dimensions 25 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references (p. 414-417) and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer logic.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic programming.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Ryan, Mark
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Books
Koha issues (borrowed), all copies 1
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 Total Checkouts Total Renewals Full call number Barcode Date last seen Date checked out Cost, replacement price Price effective from Koha item type Bill No. Bill Date Vendor/Supplier PO No. PO Date
          Computer Science and Engineering IIITD IIITD General Stacks 2013-01-07 380 9 6 005.101 HUT-L 000131 2018-01-02 2017-10-09 475 2013-01-07 Books 28057 2009-07-24 Segment Book Dist.    
          Computer Science and Engineering IIITD IIITD General Stacks 2013-03-11 446.25 9 7 005.101 HUT-L 001378 2015-11-25 2015-10-27 595 2013-03-11 Books 470 2013-03-11 The Book Seller IIITD/LIC/BS/2012/11/21 2013-02-21
        Not For Loan Computer Science and Engineering IIITD IIITD Reference 2013-03-11 446.25     REF 005.101 HUT-L 001379 2013-03-11   595 2013-03-11 Books 470 2013-03-11 The Book Seller IIITD/LIC/BS/2012/11/21 2013-02-21

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