Logic for Programming, Artificial Intelligence, and Reasoning
LPAR Conference and 2 more
Paperback
Not Available