Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-2
|
Results: 2
Autoepistemic Logic of First Order and Its Expressive Power
Authors:
L.Y.Yuan
Citation:
L.y.yuan, Autoepistemic Logic of First Order and Its Expressive Power, Journal of automated reasoning , 13(1), 1994, pp. 69-82
Autoepistemic Circumscription and Logic Programming
Authors:
L.Y.Yuan,J-H.You
Citation:
L.y.yuan,j-h.you, Autoepistemic Circumscription and Logic Programming, Journal of automated reasoning , 10(2), 1993, pp. 143-160
Risultati:
1-2
|