Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-1
|
Results: 1
The Rue Theorem-Proving System: The Complete Ste of LIM+Challenge Problems
Authors:
V.J.Digricoli
Citation:
V.j.digricoli, The Rue Theorem-Proving System: The Complete Ste of LIM+Challenge Problems, Journal of automated reasoning , 12(2), 1994, pp. 240-264
Risultati:
1-1
|