Résultats de rechercheBases de données
1 Résultat trouvé   M'abonner aux résultats de recherche
Sélectionner tout
Passer à l'affichage en mode Liste
Passer à l'affichage en mode Miniature
0DEFAULT
Imprimer
1. 
Image de couverture de Interactive Theorem Proving and Program Development Coq'Art: The Calculus of Inductive Constructions
Interactive Theorem Proving and Program Development Coq'Art: The Calculus of Inductive Constructions
Interactive Theorem Proving and Program Development Coq'Art: The Calculus of Inductive Constructions
Auteur 
Bertot, Yves. author. Castéran, Pierre. author. SpringerLink (Online service)
Numéro de cote topographique requis 
QA8.9 -10.3
ISBN (Numéro international normalisé des livres) 
9783662079645
Full Text Available From Springer Nature Computer Science Archive Packages
Format : 
Ressources électroniques
Disponible:
Sélectionner tout
1 Résultat trouvé   M'abonner aux résultats de recherche
Limiter les résultats de recherche
Auteur
Langue
Date de publication
Ce graphique montre la distribution des dates de publication à utiliser avec un curseur de plage de dates. Passez au mode d’affichage Années pour une ventilation plus détaillée des résultats de recherche par année.
-
2004
(1)
Sujet
Type de document
Emplacement
Bibliothèque