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

22.00 EUR

Découvrez comment le calcul lambda se conjugue avec la logique combinatoire dans ce manuel de 270 pages, où chaque opérateur est expliqué par des preuves concises et des schémas clairs, idéal pour les chercheurs et étudiants avancés en informatique théorique.

Marque: Cépaduès
ISBN: 236493530X
Sponsorisé  Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations
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