Formes canoniques dans les algèbres booléennes, et application à la démonstration automatique en logique de premier ordre / par François Fages

Date : 1983

Editeur / Publisher : [Lieu de publication inconnu] : [Éditeur inconnu] , 1983

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

ISBN : 2-7261-0342-1

Fages, François (1959-....) (Auteur / author)