Logic Programming And Automated Reasoning: International Conference Lpar '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings By Andrei Voronkov PDF, ePub eBook

Logic Programming And Automated Reasoning: International Conference Lpar '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings By Andrei Voronkov

File Name: Logic Programming And Automated Reasoning: International Conference Lpar '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings By Andrei Voronkov.pdf
Size: 7870 KB
Uploaded:

Status: AVAILABLE Last checked: 29 Minutes ago!

Rating: 4.4/5 from 103 votes.