File Name: Logic Programming And Automated Reasoning: 4th International Conference, Lpar '93 St. Petersburg, Russia, July 13-20, 1993 Proceedings (Lecture Notes In Computer Science) By Andrei Voronkov.pdf
Size: 7861 KB
Uploaded:
Rating: 4.4/5 from 154 votes.