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

- 245 p.
ISBN 978-3-540-16444-9

Lecture notes in computer science , 0215

Localisation : Collection 1er étage

algorithme # algorithmique # informatique théorique

68N05 ; 68Nxx ; 68Q20 ; 68Q25 ; 68Qxx

... Lire [+]

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

- 385 p.
ISBN 978-3-540-10009-6

Lecture notes in computer science , 0087

Localisation : Collection 1er étage

démonstration automatique # intelligence artificielle # logique # théorie

68T15

... Lire [+]

Filtrer

Auteurs
Codes MSC
Langue

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z
nt>
F Nous contacter

0

Documents  Bibel, W. | enregistrements trouvés : 2

O
     

-A +A

P Q