Logical Foundations of Artificial Intelligence

Open in new window