Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 336 p.
ISBN 978-3-540-17611-4
Lecture notes in computer science , 0250
Localisation : Collection 1er étage
algorithme # logique # preuve de programme # programmation fonctionnelle # programmation logique # prolog
68N17 ; 68Nxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 266 p.
ISBN 978-3-540-17660-2
Lecture notes in computer science , 0249
Localisation : Collection 1er étage
algorithme # informatique théorique # preuve # spécification algébrique
68Q65
... Lire [+]
