m
     
Congrès

H 0 Computer science logic :
8th workshop, CSL'94#Sept. 25-30

Pacholski, Leszek (Editeur) ; Tiuryn, Jerzy (Editeur)

Springer

1995

541 p.

978-3-540-60017-6

00018628

03Bxx ; 68Q05 ; 68Q45 ; 68Q50 ; 68Q55

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 : 9783540600176

ISBN : 3-540-60017-5

Collation : 24 cm#broch. ; Bibliogr. ; Index

Collection : Lecture notes in computer science

N° de collection : 0933

Localisation : Collection 1er étage

Nom de la rencontre : 8th workshop, CSL'94

Numéro de congrès : 8

Année de la rencontre : 1994

Ville du congrès : Kazimierz

Pays du congrès : Pologne

Code ACM : F.1 ; F.3 ; F.4 ; I.2.3

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00018628 [disponible]
Z