Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-2
|
Results: 2
Analogy inInductive Theorem Proving
Authors:
E.Melis,J.Whittle
Citation:
E.melis,j.whittle, Analogy inInductive Theorem Proving, Journal of automated reasoning , 22(2), 1999, pp. 117-147
The Heine-Borel Challenge Problem. In Honor of Woody Bledsoe
Authors:
E.Melis
Citation:
E.melis, The Heine-Borel Challenge Problem. In Honor of Woody Bledsoe, Journal of automated reasoning , 20(3), 1998, pp. 255-282
Risultati:
1-2
|