Working Material for the Lectures of Gilles Dowek on Deduction and Computation with Coq
Auteur : Gilles Dowek
Date de publication : 2005
Éditeur : NATO Security through Science Programme, Institut für Informatik - Technische Universität München
Nombre de pages : Non disponible
Résumé du livre
Aucun résumé disponible pour ce livre.