19TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
Damien Doligez
Organization: INRIA
Pages in this Program
IWIL Accepted Papers
IWIL Accepted Papers with Abstracts
IWIL on Saturday, December 14th, 2013
IWIL Program
LPAR Accepted Papers
LPAR Accepted Papers with Abstracts
LPAR on Thursday, December 19th, 2013
LPAR Program
Program
Program for Saturday, December 14th, 2013
Program for Thursday, December 19th, 2013