LPAR-19
19TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
HOME
PROGRAM
LPAR
|
ALCS
|
ALFA
|
IWIL
|
LRCM
Andrei Voronkov
Organization:
University of Manchester
Web site:
http://www.voronkov.com/
Pages in this Program
LPAR on Thursday, December 19th, 2013
LPAR Program
LPAR Program Committee
Program
Program for Thursday, December 19th, 2013