A Semantics for a Procedure to Prove Statements in Differential Geometry

Authors
L.Raschid,J.Lobo
Citation
L.raschid,j.lobo, A Semantics for a Procedure to Prove Statements in Differential Geometry, Journal of automated reasoning , 12(3), 1994, pp. 305-350
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
12
Issue
3
Year of publication
1994
Pages
305 - 350
Database
ACNP
SICI code