Special issue on automated deduction: Decidability, complexity, tractability

Download PDF
Open Webpage

Silvio Ghilardi, Viorica Sofronie-Stokkermans, Ulrike Sattler, Ashish Tiwari

Published: 2010, Last Modified: 12 May 2025J. Symb. Comput. 2010EveryoneRevisionsBibTeXCC BY-SA 4.0