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

Take Note

There is no note available for you for this video.

Log in to create a new one.

Disciplines

Types

Tags

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

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

Tags: histoire informatique logique

Added by: Benjamin Wack
Updated on: April 7, 2021, 9:23 p.m.
Type: Learning resources
Main language: French
Audience: Master’s Degree
Discipline(s):
- Informatique, Mathématiques, Sciences et technologies de l'information et de la communication

Comment(s)