Résultat(s) 1 - 3 résultats de 3 pour la requête 'Paulson Lawrence C.', Temps de recherche: 0,01s Affiner les résultats
  1. 1
    Logic and computation : interactive proof with Cambridge LCF
    par Paulson Lawrence C.
    Cambridge University Press cop. 1987
    Livre
  2. 2
    Isabelle : a generic theorem prover
    par Paulson Lawrence C., Nipkow Tobias
    Springer-Verlag C 1994
    Livre
  3. 3
    Isabelle/HOL : a proof assistant for higher-order logic
    par Nipkow Tobias, Paulson Lawrence C.
    Springer C 2002
    Livre
Réutiliser cette recherche: Flux RSS – Envoyer cette recherche par courriel – Enregistrer la recherche

Vous cherchez un article par son titre ?

Consultez notre mode d'emploi sur les accès aux ressources numériques et l'activation de Nantilien.