search

HOIg3r / LINFO1361-Syntheses-Latex

Fort inspirée des slides et de la synthese du drive INGE
1 stars 0 forks source link

Terminer "Propositional Theorem Proving" #1

Open HOIg3r opened 1 year ago

HOIg3r commented 1 year ago

Terminer la section sur "Propositional Theorem Proving" chapitre 7 slides 47-68 ou 241 - 255 du livre de référence du cour

HOIg3r commented 1 year ago

Preuve slide 50 a 62 finie

il faut faire les reste des slides