The computer modelling of mathematical reasoning / (Record no. 277094)

000 -LEADER
fixed length control field 00489nam a22001817a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20230810132722.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 150903b xxu||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0121413520
040 ## - CATALOGING SOURCE
Transcribing agency UG
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number Q335
Item number B85
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Bundy, Alan
245 14 - TITLE STATEMENT
Title The computer modelling of mathematical reasoning /
Statement of responsibility, etc Alan Bundy.-
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc London :
Name of publisher, distributor, etc Academic Press,
Date of publication, distribution, etc 1983.
300 ## - PHYSICAL DESCRIPTION
Extent xv, 403 p.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Artificial intelligence
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Entry Department sys
Source of classification or shelving scheme
Verified IC
Holdings
Price effective from Permanent Location Date last seen Not for loan Date acquired Source of classification or shelving scheme Koha item type Shelving location Barcode Damaged status Lost status Withdrawn status Current Location Full call number
2015-09-03Turkeyen Campus2015-09-03 2015-09-03 3 Weeks LoanScience & Technology0180621   Turkeyen CampusQ335 B85