LPAR-21: 21ST INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
PROGRAM
INDEXES
IWIL-2017
|
LPAR-21
Andreas Herzig
Organization:
IRIT-CNRS
Web page:
http://www.irit.fr/~Andreas.Herzig
Pages in this Program
Program Committee
Disclaimer
|
Powered by EasyChair Smart Program