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, ePub eBook

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

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:

Status: AVAILABLE Last checked: 40 Minutes ago!

Rating: 4.4/5 from 154 votes.