Logic for Programming and Automated Reasoning: 7th International Conference | Kaicus Deutschland

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

53.49 EUR 9% Off 59.00 EUR

Marke: Springer