Michel Levy
Parlez-vous
français ?
Adress
C214 Laboratoire LSR- IMAG
B.P.72
38402 SAINT MARTIN D'HERES CEDEX
phone number : 04 76 51 40 22
Fax : 04 76 63 55 50
Natural deduction corner :
theorem provers and documents
Teaching
- Logic
course 2003
- Introduction to lambda-calculus (ps,pdf)
- Short introduction to PVS (ps,pdf)
- Logic programming for beginners
- Introduction to prolog4 (ps,pdf)
- Interpreter and trees (ps,pdf)
- Combinatory problems (ps,pdf)
- Syntax analysis (ps,pdf
email : Michel.Levy_at_imag.fr
Last updated : 10 january 2006