LPAR-19
19TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
HOME
PROGRAM
LPAR
|
ALCS
|
ALFA
|
IWIL
|
LRCM
George Metcalfe
Organization:
University of Bern
Web site:
http://www.math.unibe.ch/content/personal/professoren/metcalfe/index_ger.html
Pages in this Program
LPAR Accepted Papers
LPAR Accepted Papers with Abstracts
LPAR on Monday, December 16th, 2013
LPAR Program
Program
Program for Monday, December 16th, 2013