POD
Main menu
Channels
Lives
Promoted playlists
Types
Search for a media on POD
Configuration
Language
en
Dark mode
Dyslexia mode
Auto show subtitles
Log in
Channel list
Types of videos
Audio (37)
Other (4576)
Colloque (197)
Conferences (2574)
Documentaries (39)
Institutional movie (114)
Promotional movie (157)
Interview (154)
Students work (328)
relation presse (3)
Learning resources (3668)
Tutorials (399)
Home
Videos
13 videos found
Audio
Video
Statistics views
Sort
↘
Sort Direction
Title
Date added
Date of event
Duration
Loading…
00:23:44
Propriété du domaine borné pour la logique…
01:46:50
Histoire de l'informatique : logique et in…
00:13:56
Théorème de Herbrand - formules universell…
00:08:15
Théorème de Herbrand - introduction
00:16:30
Satisfaisabilité Modulo des Théories - DPL…
00:10:41
Satisfaisabilité Modulo des Théories - Int…
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
More
Loading…
We use third party cookies to personalize content, manage session and analyze site traffic.
Learn more
I understand
We use third party cookies to personalize content, manage session and analyze site traffic.
Learn more