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

- 295 p.
ISBN 978-4-931469-02-0

Msj memoirs , 0002

Localisation : Colloque RdC (TOKY)

arbre de Böhm # calcul lambda # logique # logique d"ordre supérieur # logique linéaire # modèle lambda # preuve mathématique des systèmes constructifs # système d"attribution de type # théorie des types

03B15 ; 03B40 ; 03F05 ; 03F50 ; 68Q05

... Lire [+]

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

- 263 p.
ISBN 978-4-902578-04-1

Localisation : Colloque RdC (TOKY)

philosophie # sémantique # logique intuitionniste

03AXX ; 00A30 ; 03A10

... Lire [+]

Filtrer

Auteurs
Codes MSC
Langue

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z
- Colonne principale -->

Documents  Okada, Mitsuhiro | enregistrements trouvés : 2

O
     

-A +A

P Q