Return to search

Représentation des ensembles en démonstration automatique /

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

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/461750702
Date January 1900
CreatorsMerialdo, Bernard.
PublisherParis : C.N.R.S.,
Source SetsOCLC
LanguageFrench
Detected LanguageFrench

Page generated in 0.0019 seconds