Вы здесь

Главная

последовательные вычисления

Связанные издания:

Automated Reasoning with Analytic Tableaux and Related Methods: Proc./28th International Conference, TABLEAUX 2019, London, UK, September 2019
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./30th International Conference, TABLEAUX 2021, Birmingham, UK, September 2021
Logic, Language, Information, and Computation: Proc./26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2019