POD - Histoire De L'Informatique : Logique Et Info…

Prendre des notes

Il n’y a pas de note disponible pour vous pour cette vidéo.

Connectez-vous pour en créer une nouvelle.

Disciplines

Types

Mots clés

perform 304 fle 290 sciences 290 techniques 290 filipé 284 fos 282 cpp 178 lig 170 mathematiques 163 soutenance 151 gricad 146 prepa inp 145 prepa des inp 139 thèse 135 innovation 114 sante 94 pedagogie 91 2a 87 dgd bapso 86 recherche 85

Bonjour, la maintenance du serveur vidéo est terminée. Tout est de nouveau opérationnel.

Histoire de la logique formelle, de ses applications matérielles et logicielles, et de la démonstration automatisée

Mots clés : histoire informatique logique

Ajouté par : Benjamin Wack
Mis à jour le : 7 avril 2021 21:23
Type : Supports pédagogiques
Langue principale : Français
Public : Master
Discipline(s) :
- Informatique, Mathématiques, Sciences et technologies de l'information et de la communication

Réseaux sociaux

Commentaire(s)