m

Documents  Abdulrab, Habib | enregistrements trouvés : 1

O
     

-A +A

P Q

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

- 214 p.
ISBN 978-3-540-56730-1

Lecture notes in computer science , 0677

Localisation : Collection 1er étage

combinatoire # déduction # langage formel # logique mathématique # méthodologie de calcul # optimisation # structure des données informatiques # théorème de preuve

68P05 ; 68Q45 ; 68Qxx ; 68R05 ; 68T15

... Lire [+]

Z