An Extension of a Procedure to Prove Statements in Differential Geometry

Authors
G.Carrà Ferro
Citation
G.carrà Ferro, An Extension of a Procedure to Prove Statements in Differential Geometry, Journal of automated reasoning , 12(3), 1994, pp. 351-358
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
12
Issue
3
Year of publication
1994
Pages
351 - 358
Database
ACNP
SICI code