Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings

Corporate Author: SpringerLink (Online service)
Other Authors: Fermüller, Christian G. (Editor), Voronkov, Andrei (Editor)
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010, 2010
Edition:1st ed. 2010
Series:Theoretical Computer Science and General Issues
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Physical Description:XII, 656 p. 83 illus online resource