Introduction to logic and automated proof (UGA, L2, INF432), Sezione: Propositional resolution | Caseine

Home Calendario Shared Space

Schema della sezione

- Seleziona attività Transparents de cours semaine 3 Lesson slides week...
  
  Lesson slides week 3
- Seleziona attività Transparents de cours semaine 4 Lesson slides week...
  
  Lesson slides week 4
- Seleziona attività Test de résolution
  
  Test de résolution Quiz