Conferčncies i seminaris | Congressos | Grups de recerca | Publicacions | Persones

ABCDEFGHIJKLMNOPQRSTUVWXYZ  

 

Persones

S. Ghilezan 

Altres activitats (conferències, seminaris)

Ponent de congrés - ? - [30/1/1997 - 1/2/1997]

Natural deduction versus sequent lambda calculus (30/1/1997)

Dins el 3rd Barcelona Logic Meeting, 30 gener a 1 febrer 1997. No en consta la data exacta