m
MathCongrès

H 0 Linear logic in computer science

Ehrhard,Thomas (Ed.) ; Girard, Jean-Yves (Ed.) ; Ruet, Paul (Ed.) ; Scott, Philip (Ed.)

Cambridge university Press

2004

x, 381 p. ; 23 cm

9780521608572

43240

programmation linéaire ; logique


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 43240 1030918 PROC 03-06 LIN

ISBN10 : 0-521-60857-0

Type de doc : C

Ville d'édition : Cambridge

Pays d'édition : gb

Langue ouvrage : eng

Collection : London mathematical society lecture note series

N° dans la collection : 316

ISSN Collection : 0076-0552

Bibliographie : Notes bibliogr.

Class. Math. 2000 : 03-06 ; 68-06 ; 00B25

Ville du congrès : Sao Miguel, Azores

Pays congres : pt

Année du congres : 2000

ID notice : 0

Lien SUDOC : https://www.sudoc.fr/091631904

Z