Logic for Programming, Artificial Intelligence, and Reasoning
11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
Autor:
Franz Baader, Andrei Voronkov
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
2 286
Kč
This book constitutes the refereed proceedings of the 11th International Conference on Logic for Pro...
