Logic for computer science and artificial intelligence (Record no. 73512)

MARC details
000 -LEADER
fixed length control field 00674 2200193 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 2012071107407.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 120711t xxu||||| |||| 00| 0 eng d
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 510.6:681.31
Item number CAF
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Caferra, Ricardo
245 ## - TITLE STATEMENT
Title Logic for computer science and artificial intelligence
300 ## - PHYSICAL DESCRIPTION
Extent xii, 523p.
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Computer logic
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Artificial intelligence
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term First order logic-predicate logic
942 ## - ADDED ENTRY ELEMENTS (KOHA)
item type Books
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher, distributor, etc ISTE
Date of publication, distribution, etc 2011
Place of publication, distribution, etc London
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781848213012
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
-- 20909
Holdings
Lost status Source of classification or shelving scheme Not for loan Home library Current library Shelving location Date acquired Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Date checked out Cost, replacement price Price effective from Koha item type
  Universal Decimal Classification   University Library University Library General Stacks 19/01/2012 0.00 1 510.6:681.31 CAF 00066995 13/12/2022 16/05/2022 0.00 19/01/2012 Books
University Library, CUSAT