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
0

Semantics and logics of computation
summer school on...
took place at the Isaac Newton Institute
Sept.

Sélection Signaler une erreur
Congrès

Dybjer, P. (Editeur) ; Pitts, A. (Editeur)

Cambridge University Press

1997

978-0-521-58057-1

00021463

68N17 ; 68Q40 ; 68Q55

informatique # langage # logique classique # metalangage # programmation # sémantique

Ville d'édition : Cambridge

Pays d'édition : Grande-Bretagne

Langue : Anglais

EAN13 : 9780521580571

ISBN : 0-521-58057-9

Collation : 24 cm ; 631 p. ; Bibliogr. ; Index ; rel.

Collection : Publications of the Newton institute

Localisation : Colloque 1er étage (CAMB)

Année de la rencontre : 1995

Ville du congrès : Cambridge

Pays du congrès : Grande-Bretagne

Type Congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 C/CAMB/1995 00021463 [disponible]
Sélection Signaler une erreur