- Titre
- Free-style Theorem Proving
- Créateurs - sans rôle
- David Delahaye - Chalmers University of Technology [Göteborg]
- Détails de publication
- Lecture notes in computer science, Vol.2410, pp.164-181
- Colloque
- Proceedings of Theorem Proving in Higher Order Logics (TPHOLs)
- Publications en série
- LNCS
- Nombre de pages
- 18
- Identifiants
- 99156809109311
- Unité académique
- Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
- Langue
- English
- Type de ressource
- Conference proceeding
Acte de colloque
Free-style Theorem Proving
Lecture notes in computer science, Vol.2410, pp.164-181
LNCS
Proceedings of Theorem Proving in Higher Order Logics (TPHOLs)
01/01/2002
Indicateurs
1 Consultations de la notice