Making Dependent Evidence Explicit in Justification Logic
| Speaker(s) | Guiseppe Primiero |
|---|---|
| Date | 31 May 2011 |
| Place | New York, USA |
| Occasion | Computational Logic Seminar |
| Category | Invited |
| Slides |
 primiero_slides_CUNY_depJL.pdf |
| Speaker(s) | Guiseppe Primiero |
|---|---|
| Date | 31 May 2011 |
| Place | New York, USA |
| Occasion | Computational Logic Seminar |
| Category | Invited |
| Slides |
primiero_slides_CUNY_depJL.pdf |