English
Türkçe
NEU GRAND LIBRARY
Opening Hours: Monday-Saturday, 08:00-20:00 |
E-mail: library@neu.edu.tr
You are not logged in
Show Basket
Home
Advanced Search
Back
Print
Add to Basket
Brief display
MARC Display
Reserve
Mechanical geometry theorem proving / (Chou, Shang-Ching,)
Bibliographical information (record 3574)
Mechanical geometry theorem proving /
Author:
Chou, Shang-Ching,
Search Author in Amazon Books
Publisher:
D. Reidel Pub. Co. ;
ISBN:
9027726507
Edition:
c1988.
Classification:
QA76.9.A96
Dewey:
516/.0028/5
Detailed notes
- Includes indexes.
- Bibliography: p. 192.
Related links
-
Automatic theorem proving
Items (1)
Barcode
Status
Library
Section
1185603976
Item available
NEU Grand Library2nd Floor (QA76.9.A96 C48 1988)
General Collection
NEAR EAST UNIVERSITY GRAND LIBRARY +90 (392) 223 64 64 Ext:5536. Near East Boulevard, Nicosia, TRNC
This software is developed by
NEU Library
and it is based on Koha OSS
conforms to MARC21 library data transfer rules.