LPAR 2024: 25TH CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
Matthias Baaz
Affiliation: Technische Universit"at Wien
Web page: http://www.logic.at/staff/baaz/
Pages in this Program
Accepted Papers
Program
Program for Friday, May 31st
Program for Tuesday, May 28th