m

F Nous contacter

0

Documents  Montanari, Ugo | enregistrements trouvés : 4

O
     

-A +A

P Q

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

- xvi; 941 p.
ISBN 978-3-540-67715-4

Lecture notes in computer science , 1853

Localisation : Collection 1er étage

théorie des automates # programmation informatique # langages formels

00B25 ; 68-06

... Lire [+]

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

- 650p.
ISBN 978-3-540-60299-6

Lecture notes in computer science , 0976

Localisation : Collection 1er étage

informatique # logique de programmation par contraintes # problème de satisfaction de contraintes # algorithme pour des équations diophantiennes # calcul symbolique # intelligence artificielle

00B25 ; 68-06 ; 68N01 ; 68N17 ; 68W30

... Lire [+]

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

Z