REDLOG

REDLOG EXAMPLES DOCUMENTATION DOWNLOADS REFERENCES REMIS · REDUCE

REMIS Paper Data

Mechanical Geometry Theorem Proving

Bibliographic information

AuthorChou, Shang-Ching
TitleMechanical Geometry Theorem Proving
SeriesMathematics and its applications
PublisherD. Reidel Publishing Company
AddressDordrecht, Boston, Lancaster, Tokyo
Year1988
Isbn90-277-2650-7
Signature806 SK 380 C522
PubtypeBook

Additional data alphabetic by keywords

FileidChou_88
NameChou
Statusunclear
XtitleMechanical Geometry Theorem Proving

Related REMIS examples


A.D. T.S. www@redlog.eu Validate