Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 424 p.
Cote : 00013791
automatisme logique # grafcet # réseau de Pietri
68N05
Localisation : Ouvrage RdC (DAVI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 332 p.
Cote : 00024392
logique # enseignement # théorie de la démonstration # complétude de la logique # logique du premier ordre # logique d'ordre supérieure # logique intuitionniste # modèle de Kripke # calcul des séquents # démonstration automatique # PHOX
03Bxx ; 03-01
Localisation : Enseignement RdC (DAVI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- 360 p.
Cote : 00040033
théorie de la démonstration # raisonnement # manuel
97-XX ; 97Exx ; 97E50 ; 97E30
Localisation : Enseignement RdC (DEMO)
English