Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 | Kaicus Deutschland

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes in Computer Science, 698, Band 698)

53.49 EUR

Marke: Springer