G. Huet · 3 obras en el catálogoObrasPPour une politique rizicole nouvellePour une politique rizicole nouvelle1947CConstruction, amélioration et vérification de programmesConstruction, amélioration et vérification de programmesLLogic, Algebra, and ComputationLogic, Algebra, and Computation
CConstruction, amélioration et vérification de programmesConstruction, amélioration et vérification de programmes