Carvalho, R. L. de (Roberto Lins), 1939-
VIAF ID: 104315323 (Personal)
Permalink: http://viaf.org/viaf/104315323
Preferred Forms
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
A Model theoretic approach to the theory of abstract data types and data structures | |
Some results in automatic theorem-proving with applications in elementary set theory and topology. | |
Thesis. Vita. Born in Brasil. Date. Full name. |