Preface

Anupam Das; Sara Negri

doi:10.1007/978-3-030-86059-2

Preface

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript

Original language	English
Title of host publication	Automated Reasoning with Analytic Tableaux and Related Methods
Subtitle of host publication	30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings
Editors	Anupam Das, Sara Negri
Publisher	Springer
Pages	v-vi
Number of pages	2
Edition	1
ISBN (Electronic)	9783030860592
ISBN (Print)	9783030860585
DOIs	https://doi.org/10.1007/978-3-030-86059-2
Publication status	Published - 1 Sept 2021
Event	30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, co-located with the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021 - Birmingham, United Kingdom Duration: 6 Sept 2021 → 9 Sept 2021

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	12842
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, co-located with the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021
Country/Territory	United Kingdom
City	Birmingham
Period	6/09/21 → 9/09/21

Bibliographical note

Funding Information:
The two awards were presented at the conference. Each award was generously financially supported by Springer.

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-030-86059-2

Cite this

@inbook{a25e3fc44d0e40bab951b46751f4c409,

title = "Preface",

author = "Anupam Das and Sara Negri",

note = "Funding Information: The two awards were presented at the conference. Each award was generously financially supported by Springer.; 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, co-located with the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021 ; Conference date: 06-09-2021 Through 09-09-2021",

year = "2021",

month = sep,

day = "1",

doi = "10.1007/978-3-030-86059-2",

language = "English",

isbn = "9783030860585",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "v--vi",

editor = "Anupam Das and Sara Negri",

booktitle = "Automated Reasoning with Analytic Tableaux and Related Methods",

edition = "1",

}

Das, A & Negri, S 2021, Preface. in A Das & S Negri (eds), Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings. 1 edn, Lecture Notes in Computer Science, vol. 12842, Springer, pp. v-vi, 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, co-located with the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021, Birmingham, United Kingdom, 6/09/21. https://doi.org/10.1007/978-3-030-86059-2

Preface. / Das, Anupam; Negri, Sara.
Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings. ed. / Anupam Das; Sara Negri. 1. ed. Springer, 2021. p. v-vi (Lecture Notes in Computer Science; Vol. 12842).

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript

TY - CHAP

T1 - Preface

AU - Das, Anupam

AU - Negri, Sara

N1 - Funding Information: The two awards were presented at the conference. Each award was generously financially supported by Springer.

PY - 2021/9/1

Y1 - 2021/9/1

UR - http://www.scopus.com/inward/record.url?scp=85115220644&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-86059-2

DO - 10.1007/978-3-030-86059-2

M3 - Foreword/postscript

AN - SCOPUS:85115220644

SN - 9783030860585

T3 - Lecture Notes in Computer Science

SP - v-vi

BT - Automated Reasoning with Analytic Tableaux and Related Methods

A2 - Das, Anupam

A2 - Negri, Sara

PB - Springer

T2 - 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, co-located with the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021

Y2 - 6 September 2021 through 9 September 2021

ER -