Barnes and Noble
Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings / Edition 1
Unfortunately, this item is no longer available, but we found some similar items you might like.