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