19TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
Martin Leucker
Organization: University of Lübeck
Web site: http://www.isp.uni-luebeck.de/leucker
Pages in this Program
ALFA Accepted Papers
ALFA Accepted Papers with Abstracts