S'abonner navigation icon
FR
navigation icon menu icon S'abonner
navigation icon Accueil navigation icon Catalogue
icon language Langues navigation icon Menu
icon close
icon arrow

Rechercher

icon searchbar

Rechercher

Catalogue

icon close
icon close
icon close
icon language

Langues

icon close
background image
button download
icon share social
Category Importation de preuves HOL Light en Coq
Lire
Lire

Importation de preuves HOL Light en Coq

  • 45

    pages

  • Français

  • Documents

  • 2009

Écrit par

Publié par
icon arrow

  • 45

    pages

  • Français

  • Documents

  • 2009

Lire
Lire
icon

Description

Niveau: Supérieur
Plan Importation de preuves HOL-Light en Coq Stage de M2 Chantal Keller Benjamin Werner ÉNS Lyon - INRIA Saclay - LIX 6 juillet 2009 Chantal Keller ÉNS Lyon - INRIA Saclay - LIX Importation de preuves HOL-Light en Coq 1 / 32

  • logique classique d'ordre supérieur

  • importation de preuves hol-light en coq

  • ens de lyon

  • noyau logique

  • axiomes classiques


Voir icon arrow
icon success

Ajouté à mes notifications

Vous serez informé des prochaines publications.