Automated Reasoning with Analytic Tableaux and Related Methods
From MaRDI portal
Publication:5479275
DOI10.1007/11554554zbMath1142.03329OpenAlexW2486590071MaRDI QIDQ5479275
Publication date: 7 July 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11554554
Related Items