trier par
Copyright © 2023 ABES / OCLCListe des résultats | Notice détaillée | Où trouver ce document ?  
rechercher (et) (Mots du titre) Higher order logic theorem proving and its applications | 7 résultat(s)

Services

Affiner la recherche

Mot Type Compte
its Mots du titre [73077]
applications Mots du titre [116229]
higher Mots du titre [9212]
order Mots du titre [31686]
logic Mots du titre [14213]
proving Mots du titre [2211]
theorem Mots du titre [3012]
1

Ressources électroniques 1.
Beckert, Bernhard / 1st ed. 2005. / Springer Berlin Heidelberg / 2005Résumé
Livres 2.
International workshop on Higher Order Logic Theorem Proving and its Applications (8 ; 1995 ; Aspen Grove, Utah) / North-Holland / 1993
Ressources électroniques 3.
Springer / [201. ?]    Accès au texte intégral
Ressources électroniques 4.
Springer / [201. ?]    Accès au texte intégral
Livres 5.
International workshop on Higher Order Logic Theorem Proving and its Applications (8 ; 1995 ; Aspen Grove, Utah) / Springer / 1995
Livres 6.
HOL User's Group Workshop (6th ; Vancouver, B.C. ; 1993) / Springer-Verlag / cop. 1994
Ressources électroniques 7.
Springer / [201. ?]    Accès au texte intégral