Title

Workshop on Practical Aspects of Automated Reasoning, PAAR 2022. Proceedings

Title Supplement

Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022

Editor(s)

Konev, Boris

Publisher

Publication Date

2022

Series

CEUR Workshop Proceedings; 3201

Conference

Acronym

PAAR

IJCAR

Language

English