A first step towards autoepistemic logic programming

Podrobná bibliografia
Hlavný autor: Jiang, Yue Jun (Autor)
Médium: Článok
Jazyk:angličtina
Predmet: