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
Gilles Barthe
Affiliation:
MPI-SP IMDEA Software Institute
Pages in this Program
Program Committee
Disclaimer
|
Powered by EasyChair Smart Program
