LPAR-20: 20TH INTERNATIONAL CONFERENCES ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
Luigi Liquori
Organization: INRIA
Web site: http://www-sop.inria.fr/members/Luigi.Liquori/
Pages in this Program
Program Committee