Search results for: Vladimir Sarsakov
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > System Descriptions > 361-364
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 154-168