Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lennart Beringer; Amy Felty

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lennart Beringer, Amy Felty

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

Original language	English (US)
Pages (from-to)	V-VI
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7406 LNCS
State	Published - 2012
Externally published	Yes
Event	3rd International Conference on Interactive Theorem Proving, ITP 2012 - Princeton, NJ, United States Duration: Aug 13 2012 → Aug 15 2012

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Cite this

@article{7fe1bb3505544831b5b52badeb1e0235,

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

author = "Lennart Beringer and Amy Felty",

year = "2012",

language = "English (US)",

volume = "7406 LNCS",

pages = "V--VI",

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 = "3rd International Conference on Interactive Theorem Proving, ITP 2012 ; Conference date: 13-08-2012 Through 15-08-2012",

}

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. / Beringer, Lennart; Felty, Amy.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7406 LNCS, 2012, p. V-VI.

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

TY - JOUR

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

T2 - 3rd International Conference on Interactive Theorem Proving, ITP 2012

AU - Beringer, Lennart

AU - Felty, Amy

PY - 2012

Y1 - 2012

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

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

M3 - Editorial

AN - SCOPUS:84865603301

SN - 0302-9743

VL - 7406 LNCS

SP - V-VI

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)

Y2 - 13 August 2012 through 15 August 2012

ER -

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

All Science Journal Classification (ASJC) codes

Other files and links

Fingerprint

Cite this