Automated Reasoning with Analytic Tableaux and Related Methods Renate A. Schmidt & Cláudia Nalon: другие книги

Automated Reasoning

2024

Automated Reasoning

2024