On the complexity of derivation in propositional calculus (Q66547737)
Aller à la navigation
Aller à la recherche
chapitre d’un ouvrage sur la complexité du calcul propositionnel
| Langue | Libellé | Description | Également connu comme |
|---|---|---|---|
| français | On the complexity of derivation in propositional calculus |
chapitre d’un ouvrage sur la complexité du calcul propositionnel |
|
| anglais | Pas de libellé défini |
Aucune description fournie |
Déclarations
On the complexity of derivation in propositional calculus (anglais)
0 référence
1970
0 référence