|
 
|
[DEL02a] Free-style Theorem Proving
Conférence Internationale avec comité de lecture : Proceedings of Theorem Proving in Higher Order Logics (TPHOLs), Hampton (VA, USA), January 2002, Vol. 2410, pp.164-181, Series LNCS,
motcle:
BibTeX
| @inproceedings { | |||
| DEL02a, | |||
| title | = | "{Free-style Theorem Proving}", | |
| author | = | " D. Delahaye ", | |
| booktitle | = | "{Proceedings of Theorem Proving in Higher Order Logics (TPHOLs), Hampton (VA, USA)}", | |
| year | = | 2002, | |
| month | = | "January", | |
| series | = | "LNCS", | |
| volume | = | 2410, | |
| pages | = | "164-181", | |
| } | |||
