The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation Book Discussion
The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation (Lecture Notes in Computer Science, 1409)
by
