trier par
Copyright © 2020 ABES / OCLCListe des résultats | Notice détaillée | Où trouver ce document ?  
rechercher (et) (Mots du titre) Symbolic logic and mechanical theorem proving | 2 résultat(s)

Services

Affiner la recherche

Mot Type Compte
symbolic Mots du titre [3002]
logic Mots du titre [12845]
mechanical Mots du titre [12528]
proving Mots du titre [2140]
theorem Mots du titre [2680]
1

Ressources électroniques 1.
Springer Berlin Heidelberg : Springer e-books / 2006Résumé
Livres 2.
Chang, Chin-Liang (1937-) / Academic press / cop. 1973