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 68F20 6 results

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

Foundations of computation theory :
proceedings of the 1983 international pct-conference held at borgholm#Aug. Karpinski, Marek | Springer-Verlag 1983

Congrès

- 514 p.
Call n° : 00007588

03B25 ; 03D05 ; 58B05 ; 60C05 ; 68F20

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

Foundations and applications of montague grammar. Part 1 :
philosophy, framework, computer science Janssen, T. M. V. | Centre For Mathematics And Computer Science 1986

Ouvrage

- 205 p.
Call n° : 00010074

03B15 ; 03G15 ; 08A99 ; 68F05 ; 68F20

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

Dataflow computation Bohm, A. P. W. | Centrum Voor Wiskunde En Informatica 1983

Ouvrage

- 208 p.
Call n° : 00008696

68A05 ; 68F10 ; 68F20

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

Models of the lambda calculus Koymans, C. P. J. | Mathematisch Centrum 1984

Ouvrage

- 181 p.
Call n° : 00008904

03B40 ; 68F20

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

Foundations of computer science III. Part 2 :
languages, logic, semantics
3rd advanced course on the foundation of computer science held at amsterdam#Aug. 21 -Sept. 1 De Bakker, J. W. ; Van Leeuwen, J. | Mathematisch Centrum 1981

Congrès

- 164 p.
Call n° : 00010390
analyse des programmes # informatique théorique # langage formel # logique modale # sémantique # système formel

03B45 ; 68B10 ; 68C01 ; 68F05 ; 68F20

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

Categories in computer science and logic :
conference on... held at the university of Colorado#June 14-20 Gray, John W. ; Scedrov, Andre | American Mathematical Society 1989

Congrès

- 382 p.
Call n° : 00012446
analyse de données electronique # catégories # informatique théorique

03B15 ; 18-06 ; 18D99 ; 68F20

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

Type

Authors

J More

Language