  |
Items where Author is "Olšák, Miroslav"
Group by: Item Type | No Grouping Jump to: Book Section Number of items: 1. Book SectionZombori, Zsolt and Urban, Josef and Olšák, Miroslav (2021) The Role of Entropy in Guiding a Connection Prover. In: Automated Reasoning with Analytic Tableaux and Related Methods : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings. Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (12842). Springer Nature Switzerland AG. (Springer Nature), Cham, pp. 1-19. ISBN 978-3-030-86058-5 (softcover); 978-3-030-86059-2 (eBook) |
