Logique combinatoire et lambda calcul : des logiques d'opérateurs
Ce livre de 270 pages décortique le calcul lambda et la logique combinatoire, présentant leurs opérateurs clés à travers des démonstrations rigo ...
Sponsorisé
Fnac FR
29.56 EUR
Prix mis à jour le: 23-08-2026 17:19:19
Général
Marque
Cépaduès
ISBN
Cépaduès 236493530X
Caractéristiques
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
