LPAR

17th International Conference on

Logic for Programming, Artificial Intelligence and Reasoning

 
 

APS-5 (Fifth Workshop on Analytic Proof Systems)


IWIL (8th International Workshop on the Implementation of Logics)

 

Workshops

Yogyakarta, Indonesia

October 10th - 15th, 2010