Un programme de démonstration de théorèmes.
Series: Monographies d'informatique,; 7
Publisher: Dunod
Published: 1970
Place of publication: Paris
Language: fre
Number of pages: 120
Subjects: Automatic theorem proving.
Notes: Bibliography: p. [119]-120.
At head of title: Association française de cybernétique économique et technique.