Logic for Programming, Artificial Intelligence, and Reasoning
17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings
Szerző:
Christian G. Fermüller, Andrei Voronkov
Elérhetőség:
Beszállítói készleten
Küldés 9-15 napon belül
42 609
Ft
This book constitutes the refereed proceedings of the 17th International Conference on Logic for Pro...