Ruzica Piskac, Andrei Voronkov, editors, LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023. Volume 94 of EPiC Series in Computing, EasyChair, 2023. [doi]
Conference: lpar2023
@proceedings{lpar-2023, title = {LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023}, year = {2023}, url = {https://www.easychair.org/publications/volume/LPAR_2023}, researchr = {https://researchr.org/publication/lpar-2023}, cites = {0}, citedby = {0}, booktitle = {LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023}, conference = {lpar}, editor = {Ruzica Piskac and Andrei Voronkov}, volume = {94}, series = {EPiC Series in Computing}, publisher = {EasyChair}, }