Proceedings of Theorem Proving in Higher Order Logics (TPHOLs'09).

Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel

Research output: Contribution to specialist publication › Special issue

Original language	English
Volume	5674
Specialist publication	Lecture Notes in Computer Science
DOIs	https://doi.org/10.1007/978-3-642-03359-9
Publication status	Published - 2009

Access to Document

@misc{c07f5e1d3dca473981feb35978631df4,

title = "Proceedings of Theorem Proving in Higher Order Logics (TPHOLs'09).",

author = "Stefan Berghofer and Tobias Nipkow and Christian Urban and Makarius Wenzel",

year = "2009",

doi = "10.1007/978-3-642-03359-9",

language = "English",

volume = "5674",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

}

TY - GEN

T1 - Proceedings of Theorem Proving in Higher Order Logics (TPHOLs'09).

AU - Berghofer, Stefan

AU - Nipkow, Tobias

AU - Urban, Christian

AU - Wenzel, Makarius

PY - 2009

Y1 - 2009

U2 - 10.1007/978-3-642-03359-9

DO - 10.1007/978-3-642-03359-9

M3 - Special issue

SN - 0302-9743

VL - 5674

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -