Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009 Munich, Germany, August 17-20, 2009 Proceedings: Preface

Stefan Berghofer; Tobias Nipkow; Christian Urban; Makarius Wenzel

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009 Munich, Germany, August 17-20, 2009 Proceedings: Preface

Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel

Default

Technical University of Munich

Research output: Contribution to journal › Editorial

2 Scopus citations

Original language	English
Pages (from-to)	V-VI
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5674 LNCS
State	Published - 2009
Event	22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2009 - Munich, Germany Duration: 17 Aug 2009 → 20 Aug 2009

Cite this

Berghofer, Stefan ; Nipkow, Tobias ; Urban, Christian et al. / Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009 Munich, Germany, August 17-20, 2009 Proceedings: Preface. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2009 ; Vol. 5674 LNCS. pp. V-VI.

@article{bc33e00b7d2b4cad8ab79c110e23e225,

title = "Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009 Munich, Germany, August 17-20, 2009 Proceedings: Preface",

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

year = "2009",

language = "English",

volume = "5674 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 = "22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2009 ; Conference date: 17-08-2009 Through 20-08-2009",

}

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009 Munich, Germany, August 17-20, 2009 Proceedings: Preface. / Berghofer, Stefan; Nipkow, Tobias; Urban, Christian et al.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5674 LNCS, 2009, p. V-VI.

Research output: Contribution to journal › Editorial

TY - JOUR

T1 - Theorem Proving in Higher Order Logics

T2 - 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2009

AU - Berghofer, Stefan

AU - Nipkow, Tobias

AU - Urban, Christian

AU - Wenzel, Makarius

PY - 2009

Y1 - 2009

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

M3 - Editorial

AN - SCOPUS:70350336441

SN - 0302-9743

VL - 5674 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 - 17 August 2009 through 20 August 2009

ER -

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009 Munich, Germany, August 17-20, 2009 Proceedings: Preface

Other files and links

Cite this