m

Documents  Paulson, Lawrence C. | enregistrements trouvés : 1

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 302 p.
ISBN 978-0-521-34632-0

Cambridge tracts in theoretical computer science , 0002

Localisation : Ouvrage RdC (PAUL)

calcul lambda # langage # logique # logique formelle

03B05 ; 03B10 ; 03B40 ; 03Bxx

... Lire [+]

Filtrer

Auteurs
Référence
Codes MSC
Date de parution

Titres de périodiques et e-books électroniques (Depuis le CIRM)

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z