mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
Login
de
en
mediaTUM Content
University Bibliography
Electronic Examination Papers
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
Research Centers
TUM Board of Management
Functional Units
Partnerschaftliche Einrichtungen
Schools
TUM School of Computation, Information and Technology
(44886)
Examination Papers
(3567)
Departments
(37109)
Images CIT
(6)
Technical Reports
2024
(2)
2025
2023
(1)
2022
(2)
2021
(4)
2020
(7)
2019
(3)
2018
(2)
2017
(5)
2016
(17)
2015
(13)
2014
(14)
2013
(22)
2012
(22)
2011
(23)
2010
(25)
2009
(24)
2008
(34)
2007
(25)
2006
(17)
2005
(18)
2004
(22)
2003
(23)
2002
(15)
2001
(11)
2000
(16)
1999
(23)
1998
(32)
1997
(49)
1996
(41)
1995
(26)
1994
(1)
ehemalige Lehrstühle und Fachgebiete
(3660)
Publikationen
(7)
TUM School of Engineering and Design
Center of Life and Food Sciences Weihenstephan
TUM School of Management
TUM School of Medicine and Health
TUM School of Natural Sciences
(14531)
TUM School of Social Sciences and Technology
(8942)
TUM Campus Straubing für Biotechnologie und Nachhaltigkeit
Service Facilities
TUM Institute for LifeLong Learning
Central Administration
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Technische Berichte
2009
I0919
Document type:
Technical Report
Author(s):
Hugo Herbelin (Ed.)
Title:
The 1st Coq Workshop, Proceedings
Abstract:
These are the proceedings of the first Coq Workshop, which was organized by Technische Universität München in August 2009, as a satellite event of the conference TPHOLs 2009 (Theorem in Higher Order Logics).
Keywords:
higher-order logic; theorem proving; Coq proof assistant
Year:
2009
Year / month:
2009-07-30 00:00:00
Pages:
84
BibTeX
Occurrences:
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Technische Berichte
2009