Mathematics mechanization and applications (Record no. 50737)

MARC details
000 -LEADER
fixed length control field 00673nam a2200181 a 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 120416s2000 ||||||||||||||||| || u
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0127347607
050 ## - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA 71 Mat
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Gao, Xiao-Shan
245 10 - TITLE STATEMENT
Title Mathematics mechanization and applications
Statement of responsibility, etc. edited Xiao-Shan Gao
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. San Diego:
Name of publisher, distributor, etc. Academic Press
Date of publication, distribution, etc. 2000
300 ## - PHYSICAL DESCRIPTION
Extent xix, 551p. : ill.
350 ## - PRICE (NR) (BK AM CF MU VM SE) [OBSOLETE]
Price 0.00
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element AUTOMATIC THEOREM PROVING
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element EQUATIONS--NUMERICAL SOLUTIONS--DATA PROCESSING
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Wang, Dongming
995 ## - RECOMMENDATION 995 [LOCAL, UNIMARC FRANCE]
-- 0.00
-- CBU-MAIN LIBRARY (Kitwe)
-- 1
-- 40.00
-- 1
-- AVAILABLE
-- Annex Low-Usage Collection
Holdings
Withdrawn status Lost status Source of classification or shelving scheme 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
          CBU-MAIN LIBRARY, KITWE. CBU-MAIN LIBRARY, KITWE.   11/30/2022   QA 71 Mat 38951 11/30/2022 11/30/2022 MONOGRAPH