Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17 : Yogyakarta, Indonesia, October 10-15, 2010 : proceedings. : LPAR : Oct 2010, Yogyakarta, Indonesia.
(Lecture Notes in Computer Science ; 6397. Advanced Research in Computing and Software Science)
Papers and an abstract."ARCoSS" -- cover.Accompanied by the 8th International Workshop on the Implementation of Logic (IWIL-8) and the 5th Internation...
Accompanied by the 8th International Workshop on the Implementation of Logic (IWIL-8) and the 5th International Workshop on Analytic Proof Systems (APS-5) .
書誌注記
Includes bibliographical references and author index.