19TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
Armin Biere
Organization: Johannes Kepler University
Web site: http://fmv.jku.at/biere
Pages in this Program
LPAR Accepted Papers
LPAR Accepted Papers with Abstracts
LPAR on Wednesday, December 18th, 2013
LPAR Program
LPAR Program Committee
Program
Program for Wednesday, December 18th, 2013