Représentation des ensembles en démonstration automatique /

Description

Th. 3e cycle--Sc. math.--Paris VI, 1979. / 1984 d'après la déclaration de dépôt légal. Bibliogr., 3 p.

Links & Downloads

1. http://catalogue.bnf.fr/ark:/12148/cb347720978

Tags

Topologie. Théorèmes

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/461750702
Date	January 1900
Creators	Merialdo, Bernard.
Publisher	Paris : C.N.R.S.,
Source Sets	OCLC
Language	French
Detected Language	French