Automated Reasoning with Analytic Tableaux and Related Methods, the 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings

Renate Schmidt; Claudia Nalon

doi:10.1007/978-3-319-66902-1

Automated Reasoning with Analytic Tableaux and Related Methods, the 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings

Renate Schmidt (Editor), Claudia Nalon (Editor)

Formal Methods

Research output: Other contribution › peer-review

Original language	English
Type	Conference proceedings
Publisher	Springer Nature
Place of Publication	Cham
ISBN (Print)	978-3-319-66901-4
ISBN (Electronic)	978-3-319-66902-1
DOIs	https://doi.org/10.1007/978-3-319-66902-1
Publication status	Published - 2017

Publication series

Name	Lecture Notes in Artificial Intelligence
Publisher	Springer, Cham
Volume	10501
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-319-66902-1

Cite this

@misc{0ddc53cb8bd04060828efb038c8e742f,

title = "Automated Reasoning with Analytic Tableaux and Related Methods, the 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings",

author = "Renate Schmidt and Claudia Nalon",

year = "2017",

doi = "10.1007/978-3-319-66902-1",

language = "English",

isbn = "978-3-319-66901-4",

series = "Lecture Notes in Artificial Intelligence",

publisher = "Springer Nature",

address = "United States",

type = "Other",

}

Automated Reasoning with Analytic Tableaux and Related Methods, the 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings. / Schmidt, Renate (Editor); Nalon, Claudia (Editor).
Cham: Springer Nature. 2017, Conference proceedings. (Lecture Notes in Artificial Intelligence; Vol. 10501).

Research output: Other contribution › peer-review

TY - GEN

T1 - Automated Reasoning with Analytic Tableaux and Related Methods, the 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings

A2 - Schmidt, Renate

A2 - Nalon, Claudia

PY - 2017

Y1 - 2017

U2 - 10.1007/978-3-319-66902-1

DO - 10.1007/978-3-319-66902-1

M3 - Other contribution

SN - 978-3-319-66901-4

T3 - Lecture Notes in Artificial Intelligence

PB - Springer Nature

CY - Cham

ER -