  |
Items where Author is "Rawson, Michael"
Group by: Item Type | No Grouping Jump to: Book Section Number of items: 1. Book SectionRawson, Michael and Wernhard, Christoph and Zombori, Zsolt and Bibel, Wolfgang (2023) Lemmas: Generation, Selection, Application. In: Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes in Computer Science . Springer, Cham, Cham. ISBN 9783031435133 (In Press) |
