Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-2
|
Results: 2
Fast Subsumption Checks Using Anti-Links
Authors:
A.Ramesh,B.Beckert,R.Hahnle,N.V.Murray
Citation:
A.ramesh,b.beckert,r.hahnle,n.v.murray, Fast Subsumption Checks Using Anti-Links, Journal of automated reasoning , 18(1), 1997, pp. 47-83
Automated Reasoning With Analytic Tableaux: The Liberalized delta-Rule in Free Variable Semantic Tableaux
Authors:
R.Hahnle
Citation:
R.hahnle, Automated Reasoning With Analytic Tableaux: The Liberalized delta-Rule in Free Variable Semantic Tableaux, Journal of automated reasoning , 13(2), 1994, pp. 211-222
Risultati:
1-2
|