Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, Lpar 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

by

Write The First Customer Review

This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR), held from March 14 to 18, 2005, in Montevideo, Uruguay, together with the 5th - ternational Workshop on the Implementation of Logics (organized by Stephan Schulz and Boris Konev) and the Workshop on Analytic Proof Systems (or- nized by Matthias Baaz). The call for papers attracted 77 paper submissions, each of which was - viewed by at least three expert reviewers. The ?nal ...

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, Lpar 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings 2005, Springer, Berlin, Germany

ISBN-13: 9783540252368

2005 edition

Trade paperback

Select