Interactive theorem proving: second international conference, ITP 2011, Berg en Dal, the Netherlands, August 22-25, 2011, proceedings

M. C. J. D. van Eekelen

Research output: Book/Report › Book › Academic › peer-review

Series	Lecture notes in computer science
Volume	6898
ISSN	1611-3349

Keywords

@book{3563a43ec96b4665b727d640b7a67f3e,

title = "Interactive theorem proving: second international conference, ITP 2011, Berg en Dal, the Netherlands, August 22-25, 2011, proceedings",

keywords = "Automatic theorem proving, Informatique",

author = "Eekelen, {M. C. J. D. van}",

note = "Includes bibliographical references and author index",

year = "2011",

doi = "10.1007/978-3-642-22863-6",

language = "English",

isbn = "9783642228629",

series = "Lecture notes in computer science",

publisher = "Springer",

address = "United States",

}

TY - BOOK

T1 - Interactive theorem proving

T2 - second international conference, ITP 2011, Berg en Dal, the Netherlands, August 22-25, 2011, proceedings

AU - Eekelen, M. C. J. D. van

N1 - Includes bibliographical references and author index

PY - 2011

Y1 - 2011

KW - Automatic theorem proving

KW - Informatique

U2 - 10.1007/978-3-642-22863-6

DO - 10.1007/978-3-642-22863-6

M3 - Book

SN - 9783642228629

SN - 3642228623

SN - 9783642228636

SN - 3642228631

T3 - Lecture notes in computer science

BT - Interactive theorem proving

PB - Springer

CY - Berlin

ER -