Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

FORMAL METHODS IN ARTIFICIAL INTELLIGENCE (Record no. 286173)

000 -LEADER
fixed length control field 00474pam a2200157a 44500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160408b1987 xxu||||| |||| 00| 0 eng d
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 001.535
Item number D372oE
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Delahaye, Jean-Paul
245 1# - TITLE STATEMENT
Title FORMAL METHODS IN ARTIFICIAL INTELLIGENCE
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. London
Name of publisher, distributor, etc. North Oxford Academic
Date of publication, distribution, etc. 1987
300 ## - PHYSICAL DESCRIPTION
Extent vii,205
500 ## - GENERAL NOTE
General note Trans. Of Outils Logiques Pour Intelligence Artificielle
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Artificial Intelligence
964 ## -
-- CIRC
997 ## -
-- A97156 C
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Date acquired Full call number Barcode Date last seen Uniform Resource Identifier Price effective from Koha item type
        COMPACT STORAGE (BASEMENT) PK Kelkar Library, IIT Kanpur PK Kelkar Library, IIT Kanpur 2007-08-12 001.535 D372oE A97156 2016-04-08 Book Request 2016-04-08 Books

Powered by Koha