En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Montanari, Ugo 4 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Tapsoft '87. Vol. 1 :
proceedings of the international joint conference on theory and practice and software development#March 23-27 Ehrig, Hartmut ; Kowalski, Robert ; Levi, Giorgio ; Montanari, Ugo | Springer-Verlag 1987

Congrès

- 266 p.
Call n° : 00013966
algorithme # informatique théorique # preuve # spécification algébrique

68Q65

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

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

Tapsoft '87. Vol. 2 :
proceedings of the international joint conference on theory and practice and software development#March 23-27 Ehrig, Hartmut ; Kowalski, Robert ; Levi, Giorgio ; Montanari, Ugo | Springer-Verlag 1987

Congrès

- 336 p.
Call n° : 00013968
algorithme # logique # preuve de programme # programmation fonctionnelle # programmation logique # prolog

68N17 ; 68Nxx

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

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

Principles and practice of constraint programming-CP'95:
first international conference, CP'95#Sept.19-22 Montanari, Ugo ; Rossi, Francesca | Springer-Verlag 1995

Congrès

- 650p.
Call n° : 00030098
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

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Automata, languages and programming:
27th international colloquium, ICALP 2000
Geneva # July 9-15, 2000 Montanari, Ugo ; Rolim, José D. P. ; Welzl, Emo | Springer 2000

Congrès

- xvi; 941 p.
Call n° : 00039031
théorie des automates # programmation informatique # langages formels

00B25 ; 68-06

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Authors

MSC Codes

Language