登入選單
Google圖書搜尋
A Theorem Prover for Free Graded Default Theories
作者
Jérôme Mengin
出版1991
ISBN
OCLC:24574906
主題
Uncertainty (Information theory)
Raisonnement par defaut : resolutions de conflits ...
作者
Jérôme Mengin (enseignant-chercheur en informatique).)
出版1994
ISBN
OCLC:494848690
Raisonnement par défaut
作者
Jérôme Mengin
出版1994
ISBN
OCLC:490405753