Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
.
Default
.
PageMenu
-
Main Menu
-
Simple Search
.
Advanced Search
.
Journal Search
.
Refine Search Results
.
Preferences
.
Search Menu
Simple Search
.
Advanced Search
.
New Items Search
.
Journal Search
.
Refine Search Results
.
Bottom Menu
Help
Italian
.
English
.
German
.
New Item Menu
New Items Search
.
New Items List
.
Links
SISSA Library
.
ICTP library
.
Italian National web catalog (SBN)
.
Trieste University web catalog
.
Udine University web catalog
.
© LIBERO v6.4.1sp220816
Page content
You are here
:
Catalogue Display
Catalogue Display
Mechanical geometry theorem proving
.
Bookmark this Record
Catalogue Record 9072
.
.
Author info on Wikipedia
.
.
LibraryThing
.
.
Google Books
.
.
Amazon Books
.
Browse Shelf
Catalogue Record 9072
.
Item Information
Catalogue Record 9072
.
Catalogue Information
Catalogue Record 9072
.
Reviews
Catalogue Record 9072
.
British Library
Resolver for RSN-9072
Catalogo Nazionale SBN
Resolver for RSN-9072
WorldCat
Resolver for RSN-9072
Google Scholar
Resolver for RSN-9072
GoogleBooks
Resolver for RSN-9072
ICTP Library
Resolver for RSN-9072
.
Share Link
Jump to link
Catalogue Information
Field name
Details
Dewey Class
514.1
Title
Mechanical geometry theorem proving / Shang-Ching Chou.
(M)
Author
Chou, Shang-Ching , 1942-
Publication
Boston : Reidel , c1988
Physical Details
xii, 362 p. : ill. ; 25 cm.
Series
Mathematics and its applications
ISBN
9027726507
Note
Includes indexes.
Bibliography: p. 192.
Links to Related Works
Subject References:
Automatic theorem proving
.
Authors:
Chou, Shang-Ching 1942-
.
Series:
Mathematics and its applications
.
Classification:
514.1
.
514.1 CHO
.
.
ISBD Display
Catalogue Record 9072
.
Tag Display
Catalogue Record 9072
.
Related Works
Catalogue Record 9072
.
Marc XML
Catalogue Record 9072
.
Add Title to Basket
Catalogue Record 9072
.
Catalogue Information 9072
Beginning of record
.
Catalogue Information 9072
Top of page
.
Item Information
Barcode
Shelf Location
Collection
Volume Ref.
Branch
Status
Due Date
00000000039412
514.1 CHO
General
SISSA
.
.
Available
.
Download Title
Catalogue Record 9072
Export
This Record
As
Labelled Format
Bibliographic Format
ISBD Format
MARC Format
MARC Binary Format
MARCXML Format
User-Defined Format:
Title
Author
Series
Publication Details
Subject
To
File
Email
.
Catalogue Record 9072 ItemInfo
Beginning of record
.
Catalogue Record 9072 ItemInfo
Top of page
.
Most Popular Titles
#
Author
Title
1
.
Jost, Jürgen 1956-
1
.
Nonpositive curvature: geometric and analytic aspects
1
2
.
Jost, Jürgen 1956-
2
.
Calculus of variations
2
3
.
Jost, Jürgen 1956-
3
.
Harmonic maps between surfaces: with a special chapter on conformal mappings
3
4
.
Geometric analysis and the calculus of variations for Stefan Hildebrandt
4
5
.
Jost, Jürgen 1956-
5
.
Compact Riemann surfaces: an introduction to contemporary mathematics
5
.
Reviews
This item has not been rated.
Add a Review and/or Rating
9072
1
9072
-
2
9072
-
3
9072
-
4
9072
-
5
9072
-
Quick Search
Search for