English
Türkçe
University of Kyrenia Grand Library
Opening Hours: Monday-Saturday, 08:00-20:00 |
E-mail: grand.library@kyrenia.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 in Online Databases
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
UNIVERSITY OF KYRENIA LIBRARY +90 (392) 680 20 28. Near East Boulevard, Kyrenia, TRNC
This software is developed by
NEU Library
and it is based on Koha OSS
conforms to MARC21 library data transfer rules.