Démonstration automatique dans le calcul des constructions / Gilles Dowek

Date :

Editeur / Publisher : Grenoble : Atelier national de reproduction des thèses , 1991

Format : 2 microfiches

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Collection : Lille-thèses / Atelier de reproduction des thèses / Lille : Atelier national de reproduction des thèses , 1983-2017

Relation : DEMONSTRATION AUTOMATIQUE DANS LE CALCUL DES CONSTRUCTIONS / GILLES DOWEK ; sous la direction de GERARD HUET / [Lieu de publication inconnu] : [Éditeur inconnu] , 1991