A first step towards autoepistemic logic programming

Bibliographic Details
Main Author: Jiang, Yue Jun (Author)
Format: Article
Language:English
PhysicalDescription:Fot.1. Res. angl., rus., lit. 33 zázn. v angl.
Subjects:
Description
Physical Description:Fot.1. Res. angl., rus., lit. 33 zázn. v angl.