m

F Nous contacter

0

Documents  Gao, Wiao-Shan | enregistrements trouvés : 1

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 [+]

Z