Présentation de l'auteur Adrian Rezuş :

Livres publiés jusqu'à présent par Adrian Rezuş :

Théorie du témoin : Notes sur le λ-calcul et la logique - Witness Theory: Notes on λ-calculus and...
Kings College Pubn
Ce livre porte sur l'analyse mathématique du...
Théorie du témoin : Notes sur le λ-calcul et la logique - Witness Theory: Notes on λ-calculus and Logic
Logique et informatique contemporaines - Contemporary Logic and Computing
Kings College Pubn
Le présent volume est issu d'une proposition de livre faite il y a environ deux...
Logique et informatique contemporaines - Contemporary Logic and Computing
<<
1
>>

© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)