trier par
Copyright © 2020 ABES / OCLCListe des résultats | Notice détaillée | Où trouver ce document ?  
rechercher (et) (Mots du titre) Symposium on automatic demonstration | 7 résultat(s)

Services

Affiner la recherche

Mot Type Compte
automatic Mots du titre [6512]
symposium Mots du titre [45093]
demonstration Mots du titre [3298]
on Mots du titre [602480]
1

Ressources électroniques 1.
1st ed. 2006. / 2006Résumé
Ressources électroniques 2.
Khatib, Oussama / 2008Résumé
Ressources électroniques 3.
Springer Berlin Heidelberg : Springer e-books : Imprint: Springer : Springer e-books / 2009Résumé
Ressources électroniques 4.
Hutchison, David / 2008Résumé
Livres 5.
Colloque sur la Démonstration Automatique (Rocquencourt ; 1968) / I.R.I.A. / 1968
Ressources électroniques 6.
Symposium on automatic demonstration (1968 ; Versailles) / 201X
Livres 7.
Symposium on automatic demonstration (1968 ; Versailles) / Springer-Verlag / 1970, cop. 1970