Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-1
|
Results: 1
Shortest Single Axioms for the equivalential Calculus with CD and RCD
Authors:
K.Hodgson
Citation:
K.hodgson, Shortest Single Axioms for the equivalential Calculus with CD and RCD, Journal of automated reasoning , 20(3), 1998, pp. 283-316
Risultati:
1-1
|