Logic for Programming, Artificial Intelligence, and Reasoning
9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
Autor:
Matthias Baaz, Andrei Voronkov
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
1 120
Kč
This book constitutes the refereed proceedings of the 9th International Conference on Logic for Prog...
