Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings

Revantha Ramanayake; Josef Urban

doi:10.1007/978-3-031-43513-3

Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings

Revantha Ramanayake (Editor)
, Josef Urban (Editor)

Fundamental Computing

Research output: Book/Report › Book › Academic › peer-review

Original language	English
Place of Publication	Cham
Publisher	Springer
DOIs	https://doi.org/10.1007/978-3-031-43513-3
Publication status	Published - 2023

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	14278
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-031-43513-3Licence: CC BY

Handle.net

Persistent link

Cite this

@book{ed7341690b964fc5ad18660a9c0ef7c4,

title = "Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings",

editor = "Revantha Ramanayake and Josef Urban",

year = "2023",

doi = "10.1007/978-3-031-43513-3",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

}

TY - BOOK

T1 - Automated Reasoning with Analytic Tableaux and Related Methods

T2 - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings

A2 - Ramanayake, Revantha

A2 - Urban, Josef

PY - 2023

Y1 - 2023

U2 - 10.1007/978-3-031-43513-3

DO - 10.1007/978-3-031-43513-3

M3 - Book

T3 - Lecture Notes in Computer Science

BT - Automated Reasoning with Analytic Tableaux and Related Methods

PB - Springer

CY - Cham

ER -