A procedure to prove statements in differential geometry

Carra G, GALLO G.
January, 1990
PDF Cite DOI
Publication
JOURNAL OF AUTOMATED REASONING

© 2026 IPLab - Image Processing Laboratory