LPAR 2024: 25TH CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
LPAR-25
Invited
Proceedings
IWIL
Social Events
Registration
Travel etc.
PC
CFP
PROGRAM
AUTHORS
KEYWORDS
SLIDES
Dale Miller
Affiliation:
INRIA and LIX/Institut Polytechnique de Paris
Pages in this Program
Program Committee
Disclaimer
|
Powered by EasyChair Smart Program