En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Yang, Lu 1 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Cote : 00023374
algèbre # déduction # déduction automatisée en géométrie # démonstration automatique de théorème # informatique # intelligence artificielle # logique # opération logique

03-06 ; 03B35 ; 68-06 ; 68T15

Localisation : Colloque 1er étage (BEIJ)

Sélection Signaler une erreur

Filtrer

Auteurs
Codes MSC
Langue

Close