LPAR-19
19TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
HOME
PROGRAM
LPAR
|
ALCS
|
ALFA
|
IWIL
|
LRCM
Boris Konev
Organization:
The University of Liverpool
Web site:
http://www.csc.liv.ac.uk/~konev/
Pages in this Program
IWIL-2013 Program Committee