m

F Nous contacter

0

Documents  Wang, Dongming | enregistrements trouvés : 2

O
     

-A +A

P Q

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


ISBN 978-3-540-66672-1

Lecture notes in artificial intelligence , 1669

Localisation : Colloque 1er étage (BEIJ)

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

... Lire [+]

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

- 394 p.
ISBN 978-3-7643-7983-4

Trends in mathematics

Localisation : Colloque 1er étage (XIAN)

analyse numérique # informatique # calcul formel # calcul algébrique # système polynômial # ensemble triangulaire # base de Gröbner # algorithme # optimisation

65-06 ; 68-06 ; 68W30 ; 65K10

... Lire [+]

Z