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
:
>
Search Simple
Search Results
Search Results
Your Search for
Combined Author=CHOU SHANGCHING 1942
returned
1
Items
Sort Preference
7 - Author, Title
0 - Default
1 - Title, Publication
2 - Publication, Title
3 - Publication, Author
4 - Author, Publication
5 - Publication Descending
6 - Shelf Location
Search Result Page:
.
1
.
.
Page: 1 of 1
The titles shown in BOLD have items available, non bold titles do not have any items in stock
Refine Results
Authors:
1
CHOU SHANG CHING 1942
(1)
Pub. Year:
1
1988
(1)
Subjects:
1
AUTOMATIC THEOREM PROVING
(1)
Type:
1
Monograph
(1)
Collection:
1
General
(1)
Language:
1
English
(1)
Location:
1
SISSA
(1)
Display results in shelf format.
Search Results
Result
Thumbnail
Title
Author
Year
Flags
Holding Information
1
Select this title
Mechanical geometry theorem proving [Monograph ]
Series:
Mathematics and its applications
Chou
, Shang-Ching
1942
-
1988
Shelf Location:
514.1 CHO
.
Collections:
General.
Number of Holdings:
1.
Search Result Page:
.
1
.
.
Page: 1 of 1
The titles shown in BOLD have items available, non bold titles do not have any items in stock
Export
Selected Records
These Results
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
Quick Search
Search for
