1. Article Algorithmes abstraits et fermeture de diagrammes / Calvin C. ElgotType de document: Article.Collection: Logique à l'usage du calculateur ; 13Éditeur: Paris : Institut Blaise Pascal, 1966 Disponibilité: Pour le prêt: CMI[68 ELG] (1). Actions: Add to Cart No cover image available
2.  Monographie Cours de logique mathématique. Tome 2 : récursivité, insaturation, décidabilité, constructibilité / Roland FraisséType de document: Monographie.Collection: Logique à l'usage du calculateur ; 2Éditeur: Paris : Institut Blaise Pascal, 1967 Disponibilité: Pour le prêt: CMI[Manuels FRA] (1). Actions: Add to Cart No cover image available
3.  Monographie Cours de logique mathématique sémantique / R. FraisséType de document: Monographie.Collection: Logique à l'usage du calculateur ; 2Éditeur: Paris : Centre National de la Recherche Scientifique, 1963 Disponibilité: Pour le prêt: CMI[Manuels FRA] (1). Actions: Add to Cart No cover image available
4.  Monographie Sur l'obtention de formes minimales de fonctions booléennes / Charles PinterType de document: Monographie.Collection: Logique à l'usage du calculateur ; 8Éditeur: Paris : Centre National de la Recherche Scientifique, 1964 Disponibilité: Pour le prêt: CMI[06 PIN] (1). Actions: Add to Cart No cover image available
Languages: English | Français | |