Deduction systems (Record no. 167233)

MARC details
000 -LEADER
fixed length control field 00801pam a2200241 a 4500
001 - CONTROL NUMBER
control field 0000044886
003 - CONTROL NUMBER IDENTIFIER
control field 0001
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 960705s1997 nyua b 001 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0387948473 (acid-free paper)
035 ## - SYSTEM CONTROL NUMBER
-- (DLC) 96032221
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency DLC
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3028551
Edition number 20
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 511.3028551
Item number SOC-D
100 2# - MAIN ENTRY--PERSONAL NAME
Personal name Socher-Ambrosius, Rolf.
245 10 - TITLE STATEMENT
Title Deduction systems
Medium [Book] /
Statement of responsibility, etc. Rolf Socher-Ambrosius, Patricia Johann.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. c1997.
300 ## - PHYSICAL DESCRIPTION
Extent xii, 206 p. :
Other physical details ill. ;
Dimensions 25 cm.
490 1# - SERIES STATEMENT
Series statement Graduate texts in computer science
521 ## - TARGET AUDIENCE NOTE
Target audience note All.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Automatic theorem proving.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Johann, Patricia.
852 ## - LOCATION
Accession No. 18821
-- 0.00
Former shelving location Books
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Date acquired Total checkouts Full call number Barcode Date last seen Price effective from Koha item type
        Junaid Zaidi Library, COMSATS University Islamabad Junaid Zaidi Library, COMSATS University Islamabad Ground Floor 09/18/2023   511.3028551 SOC-D 18821 09/18/2023 09/18/2023 Books