LPAR23: LPAR-23: 23RD INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
Michael Norrish
Affiliation: CSIRO
Web page: https://ts.data61.csiro.au/people/?cn=Michael+Norrish
Pages in this Program
Organization