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

DEDUCTION SYSTEMS (Record no. 328837)

000 -LEADER
fixed length control field 00473pam a2200181a 44500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160408bc1997 xxu||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0387948473
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3028551
Item number SO13D
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Socher-Ambrosis,Rolf
245 1# - TITLE STATEMENT
Title DEDUCTION SYSTEMS
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.
Name of publisher, distributor, etc. Springer-Verlag, New York
Date of publication, distribution, etc. c1997
300 ## - PHYSICAL DESCRIPTION
Extent ix,206
500 ## - GENERAL NOTE
General note Includes Index
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Automatic Theorem Proving
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Johann,Patricia
964 ## -
-- CIRC
997 ## -
-- A124500 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 Price effective from Koha item type
        General Stacks PK Kelkar Library, IIT Kanpur PK Kelkar Library, IIT Kanpur 2007-08-12 511.3028551 SO13D A124500 2016-04-08 2016-04-08 Books

Powered by Koha