Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-1
|
Results: 1
A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions
Authors:
M.Jaume
Citation:
M.jaume, A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions, Journal of automated reasoning , 23(3/4), 1999, pp. 347-371
Risultati:
1-1
|