11 videos found Statistics views  Video  Audio

00:13:56

Théorème de Herbrand - formules universe...

00:08:15

Théorème de Herbrand - introduction

00:16:30

Satisfaisabilité Modulo des Théories - D...

00:10:41

Satisfaisabilité Modulo des Théories - I...

00:11:07

Egalité - Clôture de congruence (exemples)

00:07:43

Egalité - Clôture de congruence

00:10:48

Egalité - Correction, paramodulation

00:11:55

Egalité - Introduction, axiomatisation

00:06:13

Résolution - un exemple

00:12:51

Résolution - correction, complétude

00:07:13

Résolution - définitions