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 Jouannaud, Jean-Pierre 3 results

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

Functional programming languages and computer architecture#Sept. 16-19 Jouannaud, Jean-Pierre | Springer-Verlag 1985

Congrès

- 413 p.
Call n° : 00013407
algorithme distribué # analyse des algorithmes # architecture # langage de programmation # machine virtuel # parallélisme # programmation # prolog # récursivité des langages de programmation # spécification # technique de programmation
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

Rewriting techniques and applications#May 20-22 Jouannaud, Jean-Pierre | Springer-Verlag 1985

Congrès

- 440 p.
Call n° : 00013420
algèbre de l'informatique # intelligence artificielle # programmation automatique # réecriture de système # système de réecriture # théorie de l'informatique

68Q42

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

Constraints in computational logics:
first international conference, CCL'94#Sept.7-9 Jouannaud, Jean-Pierre | Springer-Verlag 1994

Congrès

- 367p.
Call n° : 00030115
informatique # logique de programmation par contrainte # programmation automatique # calcul symbolique

00B25 ; 68-06 ; 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

List: nb of elts/page

Select: All / None

Filter

Authors

MSC Codes

Language