Basket

    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
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all