Logic and computational complexity :
international workshop LCC'94#Oct. 13-16
lambda calcul # logique de l'informatique # oméga-régularité # programmation logique # système logique # sémantique # théorie de la preuve # théorie des catégories # théorie des modèles finis
Ville d'édition : Berlin ; Heidelberg ; N.Y.
Pays d'édition : Allemagne RDA
Langue : Anglais
EAN13 : 9783540601784
ISBN : 3-540-60178-3
Collation : 24 cm#broch. ; Bibliogr.
Collection : Lecture notes in computer science
N° de collection : 0960
Localisation : Collection 1er étage
Année de la rencontre : 1994
Ville du congrès : Indianapolis
Pays du congrès : États-Unis
Code ACM : F.1.3 ; F.2 ; F.4.1
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00018629 | [disponible] |