Formes canoniques dans les algèbres booléennes et application à la démonstration automatique en logique de premier ordre
auteur :François Fages
- Première parution
- 1983
- Éditeur
- Institut national de recherche en informatique et en automatique78-Rocquencourt
- Pages
- 136
- Éditions
- 1
- Langue
- Français
Trouver ce livre d’occasion
Recherche préremplie — titre et auteur, toutes éditions confondues — chez 8 marchands d’occasion et sites de petites annonces.
Édition
| Année | Éditeur | ISBN | Pages | Ville | Occasion | Notice | |
|---|---|---|---|---|---|---|---|
| 1983 | Institut national de recherche en informatique et en automatique | 2-7261-0342-1 | 136 | 78-Rocquencourt | AbeBooks |