Modèles finis
Langue : français.Pays : France.Publication : Lyon-Paris : CEDIC, 1973Description : 160 p. ; 20 cmSujet - Nom commun: Logique| Type de document | Site actuel | Cote | Statut | Date de retour prévue | Code à barres |
|---|---|---|---|---|---|
| Monographie | IREM P7 | 05 MYX 73 (Parcourir l'étagère(Ouvrir ci-dessous)) | Disponible | 1933 | |
| Monographie | IREM P7 | 05 MYX 73 a (Parcourir l'étagère(Ouvrir ci-dessous)) | Disponible | 1933-a | |
| Monographie | IREM P7 | 05 MYX 73 b (Parcourir l'étagère(Ouvrir ci-dessous)) | Disponible | 2738 | |
| Monographie | IREM P7 | 05 MYX 73 b (Parcourir l'étagère(Ouvrir ci-dessous)) | Disponible | 2739 |
Parcourir IREM P7 les étagères Fermer l'étagère (Fermer la navigation sur l'étagère)
| 05 MOS 64 Sentences undecidable in formalized arithmetic | 05 MOS 64 a Sentences undecidable in formalized arithmetic | 05 MYX 73 Modèles finis | 05 MYX 73 a Modèles finis | 05 MYX 73 b Modèles finis | 05 MYX 73 b Modèles finis | 05 ngo 67 Algorithmes de démonstration automatique pour le calcul des prédicats classiques |
Il n'y a pas de commentaire pour ce titre.