Preface

Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	VII-VIII
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9300
State	Published - 2015
Event	Symposium on Yurifest, 2015 - Berlin, Germany Duration: 11 Sep 2015 → 12 Sep 2015

Cite this

@article{a9723a1282a544f2a22953f9cb0c2236,

title = "Preface",

author = "Beklemishev, {Lev D.} and Andreas Blass and Nachum Dershowitz and Bernd Finkbeiner and Wolfram Schulte",

year = "2015",

language = "אנגלית",

volume = "9300",

pages = "VII--VIII",

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

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

note = "Symposium on Yurifest, 2015 ; Conference date: 11-09-2015 Through 12-09-2015",

}

TY - JOUR

T1 - Preface

AU - Beklemishev, Lev D.

AU - Blass, Andreas

AU - Dershowitz, Nachum

AU - Finkbeiner, Bernd

AU - Schulte, Wolfram

PY - 2015

Y1 - 2015

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

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.editorial???

AN - SCOPUS:84951870701

SN - 0302-9743

VL - 9300

SP - VII-VIII

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 - Symposium on Yurifest, 2015

Y2 - 11 September 2015 through 12 September 2015

ER -