m

F Nous contacter

0

Documents  Loveland, D. W. | enregistrements trouvés : 2

O
     

-A +A

P Q

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

- 360 p.
ISBN 978-0-8218-5027-5

Contemporary mathematics , 0029

Localisation : Collection 1er étage

démonstration automatique de théorème # informatique # intelligence artificielle # logique générale # logique mathématique # mécanisation des preuves

03B35 ; 03Bxx ; 68-XX ; 68T15 ; 68Txx

... Lire [+]

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


ISBN 978-0-8218-5027-5

Contemporary mathematics , 0029

Localisation : Disparu

68G15

... Lire [+]

Z