théorie de la démonstration # logique linéaire # calcul lambda # théorie des catégories # programmation logique # système distribué # linguistique # logique et mécanique quantique

Ville d'édition : Cambridge

Pays d'édition : Grande-Bretagne

Langue : Anglais

EAN13 : 9780521608572

ISBN : 0-521-60857-0

Collation : 23 cm#broch. ; Bibliogr.

Collection : London mathematical society lecture note series

N° de collection : 0316

Localisation : Collection 1er étage

Année de la rencontre : 2000

Ville du congrès : Azores ; St. Miguel

Pays du congrès : Portugal

Type Congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires