Nail Zamov

1 book • 2 series

Jul 29, 1993
Cover of Resolution Methods for the Decision Problem

Resolution Methods for the Decision Problem (Lecture Notes in Artificial Intelligence, #679) (Lecture Notes in Computer Science, #679)