Chargement en cours…
Calcul en logique du premier ordre /
Un calcul logique, au sens large, est une methode de resolution appliquee au traitement d'une structure propositionnelle. Les propositions constituant cette structure peuvent aussi bien être des expressions d'une langue naturelle (comme le français) que des expressions d'un langage...
| Auteur principal: | |
|---|---|
| Collectivité auteur: | |
| Format: | Électronique eBook |
| Langue: | Francés |
| Publié: |
Ottawa, Ontario :
Canadian Electronic Library,
2016.
|
| Collection: | Book collections on Project MUSE.
|
| Sujets: | |
| Accès en ligne: | Texto completo |