19TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
Margus Veanes
Organization: Microsoft Research
Web site: http://research.microsoft.com/users/margus/
Pages in this Program
LPAR Accepted Papers
LPAR Accepted Papers with Abstracts
LPAR on Thursday, December 19th, 2013
LPAR on Wednesday, December 18th, 2013
LPAR Program
Program
Program for Thursday, December 19th, 2013
Program for Wednesday, December 18th, 2013