AUTOMATED REASONING: INTRODUCTION AND APPLICATIONS (Record no. 60887)

000 -LEADER
fixed length control field 00340nam a2200133Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 200906s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 0-07-911251-X
082 ## - CLASSIFICATION NUMBER
Call Number 621.3819535 W837
100 ## - AUTHOR NAME
Author WOS,L
245 #0 - TITLE STATEMENT
Title AUTOMATED REASONING: INTRODUCTION AND APPLICATIONS
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Publisher MCGRAW, NEW YORK
Year of publication 1992
300 ## - PHYSICAL DESCRIPTION
Number of Pages 24X19
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Withdrawn status Lost status Circulation Status Permanent Location Current Location Entry Date Cost, normal purchase price Full call number Accession Number Koha item type
      CENTRAL LIBRARY CENTRAL LIBRARY 1999-01-23 250.00 621.3819535 W837 059118 Books