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. Thèse Calcul symbolique avec des diagrammes de Penrose / Anne MassolType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1997 Disponibilité: Pour le prêt: CMI[Thèses MAS] (1). Actions: Add to Cart No cover image available
Languages: English | Français | |