Cover von Automated Reasoning with Analytic Tableaux and Related Methods opens in new tab

Automated Reasoning with Analytic Tableaux and Related Methods

32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18 - 21, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 14278
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: LNAI 14278 Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

International Conference on Automated Reasoning with Analytic Tableaux and Related Methods <32, 2023, Prague>

Details

Search for this author
Year: 2023
Publisher: Heidelberg, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-031-43512-6
ISBN (2nd): 3-031-43512-5
Description: 480 S.
Series: Lecture notes in artificial intelligence; 14278
Participating parties: Search for this character Ramanayake, Revantha; Urban, Josef
Media group: MONOGRAPHIE