Preface

Hans de Nivelle

Preface

School of Engineering and Digital Sciences

Research output: Contribution to journal › Editorial › peer-review

Original language	English
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9323
Publication status	Published - 2015
Event	24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015 - Wroclaw, Poland Duration: Sept 21 2015 → Sept 24 2015

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Cite this

@article{241c5341f5674f5bba7cf507a7f14f6d,

title = "Preface",

author = "{de Nivelle}, Hans",

year = "2015",

language = "English",

volume = "9323",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

publisher = "Springer Verlag",

note = "24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015 ; Conference date: 21-09-2015 Through 24-09-2015",

}

TY - JOUR

T1 - Preface

AU - de Nivelle, Hans

PY - 2015

Y1 - 2015

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

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

M3 - Editorial

AN - SCOPUS:84950117778

SN - 0302-9743

VL - 9323

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

T2 - 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015

Y2 - 21 September 2015 through 24 September 2015

ER -

Preface

ASJC Scopus subject areas

Other files and links

Cite this