Logique combinatoire et lambda calcul : des logiques d'opérateurs

Sponsorisé  Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations
Identifiants
ISBN Cépaduès 236493530X
Dimensions / poids
Fonctionnalités clés
Auteurs Jean-Pierre Desclès - Gaëll Guibert - Benoît Sauzay
Couverture Broché
Editeurs Cépaduès
Edition 1 ?
Intérieur Noir et Blanc
ISBN 978-2-36493-530-3
Nombre de pages 270
Parution 2016-02-17
Poids 475
Cépaduès