Introduction to logic and automated proof (UGA, L2, INF432), Sezione: First-order natural deduction | Caseine

Home Calendario Shared Space

Schema della sezione

- Seleziona attività Transparents de cours semaine 11 Lesson slides wee...
  
  Lesson slides week 11
- Seleziona attività Transparents de cours semaine 12 Lesson slides wee...
  
  Lesson slides week 12
- Seleziona attività Test d'entraînement en déduction naturelle au premier ordre
  
  Test d'entraînement en déduction naturelle au premier ordre Quiz