Počet záznamů: 1  

Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2023 Proceedings

  1. 1.
    0583782 CH BXXS
    Ramanayake, R. (ed.) - Urban, J. (ed.)
    Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2023 Proceedings.
    Cham: Springer, 2023. Lecture Notes in Computer Science, 14278. ISBN 978-3-031-43512-6. ISSN 0302-9743

     
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.