m

F Nous contacter

0

Documents  Yang, Lu | enregistrements trouvés : 1

O
K L Q M | g | F x r
     

-A +A

P Q

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

Automated deduction in geometry
second international workshop, ADG'98 proceedings
Aug. 1-3 Gao, Wiao-Shan ; Wang, Dongming ; Yang, Lu | Springer 1999

Congrès


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

|

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes paniers

|

Signaler une erreur

1

Tout sélectionner / Tout déselectionner

Listes : nb d'elts/page

Z