m
     
Ouvrage

H 0 Interactive Models of Computation and Program Behavior

Curien, Pierre-Louis (Principal) ; Herbelin, Hugo (Co-auteur) ; Krivine, Jean-Louis (Co-auteur) ; Melliès, Paul-André (Co-auteur)

Société Mathématique de France

2009

xvi, 275 p.

978-2-85629-273-0

00036021

03F05 ; 03F52 ; 68Q55 ; 03B40 ; 03B70 ; 03G30 ; 68N18 ; 68N20

Théorie de la démonstration # réalisabilité # machines abstraites # logique linéaire # sémantique des jeux

Ville d'édition : Paris

Pays d'édition : France

Langue : Anglais

EAN13 : 9782856292730

ISSN : 1272-3835

Collation : 24 cm # broch. ; bibliogr. # fig.

Collection : Panoramas et synthèses

N° de collection : 0027

Localisation : Collection 1er étage

Type d'ouvrage : Anonyme

Disponibilité : empruntable


Exemplaires

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