Login
|
New Account
ITA
ENG
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