Mechanical geometry theorem proving/ (Record no. 22865)

MARC details
000 -LEADER
fixed length control field 01093n a2200325#a 4500
001 - CONTROL NUMBER
control field 22700
003 - CONTROL NUMBER IDENTIFIER
control field P5A
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240131150531.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 871007s1988 ne a b 001 0 eng||
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 87030387
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GB88-42193
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9027726507
035 ## - SYSTEM CONTROL NUMBER
System control number ocm16984841
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency UKM
049 ## - LOCAL HOLDINGS (OCLC)
Holding library P5AA
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 516.002
Item number C552m
090 ## - IMPA CODE FOR CLASSIFICATION SHELVES
IMPA CODE FOR CLASSIFICATION SHELVES Matemática Aplicada 12B-Uso do Computador em Matemática
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Chou, Shang-Ching,
Dates associated with a name 1942-
9 (RLIN) 23546
245 10 - TITLE STATEMENT
Title Mechanical geometry theorem proving/
Statement of responsibility, etc. Shang-Ching Chou.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Dordrecht;
-- Boston:
Name of publisher, distributor, etc. D. Reidel,
Place of publication, distribution, etc. Norwell, MA:
Name of publisher, distributor, etc. Sold and distributed in the U.S.A. and Canada by Kluwer Academic,
Date of publication, distribution, etc. c1988.
300 ## - PHYSICAL DESCRIPTION
Extent xii, 362 p.:
Other physical details ill.;
Dimensions 25 cm.
490 1# - SERIES STATEMENT
Series statement Mathematics and its applications;
500 ## - GENERAL NOTE
General note Includes indexes.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Bibliography: p. 192.
650 04 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Automatic theorem proving.
9 (RLIN) 37149
697 ## - LOCAL SUBJECT
Local Subject Matemática Aplicada 12B-
Description subdivision Uso do Computador em Matemática
Linkage 23817
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Mathematics and its applications (D. Reidel Publishing Company);
9 (RLIN) 44256
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Instituto de Matemática Pura e Aplicada
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
    Dewey Decimal Classification     Livros (Books) Castorina Castorina Estantes Abertas (Open Shelves) 1999-05-25   516.002 C552m 1988 IMPA 39063000165418 2022-12-02 2 2022-12-02 Books
    Dewey Decimal Classification     Livros (Books) Castorina Castorina Estantes Abertas (Open Shelves) 1999-05-25   516.002 C552m 1988 IMPA 39063000165392 2022-12-02 1 2022-12-02 Books
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha