Preface

Jeremy Avigad; Assia Mahboubi

Preface

Jeremy Avigad
, Assia Mahboubi

Research output: Contribution to Journal › Editorial › Academic › peer-review

Original language	English
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10895 LNCS
Publication status	Published - 1 Jan 2018
Externally published	Yes
Event	9th International Conference on Interactive Theorem Proving, ITP 2018 Held as Part of the Federated Logic Conference, FloC 2018 - Oxford, United Kingdom Duration: 9 Jul 2018 → 12 Jul 2018

Persistent URL (handle)

Persistent link

Cite this

@article{f910f1b2922b455fbe06f053c6d3b5c7,

title = "Preface",

author = "Jeremy Avigad and Assia Mahboubi",

year = "2018",

month = jan,

day = "1",

language = "English",

volume = "10895 LNCS",

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 = "9th International Conference on Interactive Theorem Proving, ITP 2018 Held as Part of the Federated Logic Conference, FloC 2018 ; Conference date: 09-07-2018 Through 12-07-2018",

}

TY - JOUR

T1 - Preface

AU - Avigad, Jeremy

AU - Mahboubi, Assia

PY - 2018/1/1

Y1 - 2018/1/1

UR - https://www.scopus.com/pages/publications/85049911798

UR - https://www.scopus.com/pages/publications/85049911798#tab=citedBy

M3 - Editorial

AN - SCOPUS:85049911798

SN - 0302-9743

VL - 10895 LNCS

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 - 9th International Conference on Interactive Theorem Proving, ITP 2018 Held as Part of the Federated Logic Conference, FloC 2018

Y2 - 9 July 2018 through 12 July 2018

ER -

Preface

Persistent URL (handle)

Other files and links

Cite this