trier par
Copyright © 2020 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 [67065]
applications Mots du titre [103542]
higher Mots du titre [8161]
order Mots du titre [28183]
logic Mots du titre [12831]
proving Mots du titre [2140]
theorem Mots du titre [2683]
1

Ressources électroniques 1.
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.
2005
Ressources électroniques 4.
2005
Livres 5.
International workshop on Higher Order Logic Theorem Proving and its Applications (8 ; 1995 ; Aspen Grove, Utah) / Springer / 1995
Livres 6.
Springer-Verlag / c1994
Ressources électroniques 7.
2005