m

Documents  David, René | enregistrements trouvés : 3

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 332 p.
ISBN 978-2-10-004892-2

Localisation : Enseignement RdC (DAVI)

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 360 p.
ISBN 978-2-340-01666-8

Références sciences

Localisation : Enseignement RdC (DEMO)

théorie de la démonstration # raisonnement # manuel

97-XX ; 97Exx ; 97E50 ; 97E30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 424 p.
ISBN 978-2-86601-195-6

Traite des nouvelles technologies

Localisation : Ouvrage RdC (DAVI)

automatisme logique # grafcet # réseau de Pietri

68N05

... Lire [+]

Z