LPAR-19
19TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
HOME
PROGRAM
LPAR
|
ALCS
|
ALFA
|
IWIL
|
LRCM
Rostislav Horcik
Organization:
ICS, ASCR
Web site:
http://www.cs.cas.cz/~horcik
Pages in this Program
ALCS on Saturday, December 14th, 2013
ALCS Program
Program
Program for Saturday, December 14th, 2013