Graduate studies at Western
|Abstract||N. G. de Bruijn, now professor emeritus of the Eindhoven University of Technology, was a pioneer in the field of interactive theorem proving. From 1967 to the end of the 1970’s, his work on the Automath system introduced the architecture that is common to most of today’s proof assistants, and much of the basic technology. But de Bruijn was a mathematician first and foremost, as evidenced by the many mathematical notions and results that bear his name, among them de Bruijn sequences, de Bruin graphs, the de Bruijn-Newman constant, and the de Bruijn-Erd¨|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Fairouz Kamareddine & Rob Nederpelt (2004). A Refinement of de Bruijn's Formal Language of Mathematics. Journal of Logic, Language and Information 13 (3):287-340.
N. G. de Bruijn (1995). On the Roles of Types in Mathematics. In Philippe De Groote (ed.), The Curry-Howard Isomorphism. Academia.
Jeanne de Bruijn (1993). FOCUS: Sex-Discrimination in Job Evaluation. Business Ethics 2 (1):25–29.
Jeanne Bruijn (1993). FOCUS: Sex-Discrimination in Job Evaluation. Business Ethics 2 (1):25-29.
Jan de Bruijn (1992). Children's Philosophy in Europe. Teaching Philosophy 15 (3):255-265.
Constantine Politis (1965). Limitations of Formalization. Philosophy of Science 32 (3/4):356-360.
Daisetz Teitaro Suzuki (1959). Zen and Japanese Culture. New York]Pantheon Books.
P. J. (1958). Zen Flesh, Zen Bones, A Collection of Zen and Pre-Zen Writings. The Review of Metaphysics 12 (1):148-149.
Richard Bryan McDaniel & Albert Low (eds.) (2012). Zen Masters of China: The First Step East: Zen Stories. Tuttle Publishing.
Hakuin (2012). Beating the Cloth Drum: The Letters of Zen Master Hakuin. Shambhala Publications.
Added to index2010-11-26
Total downloads9 ( #122,769 of 751,991 )
Recent downloads (6 months)1 ( #62,995 of 751,991 )
How can I increase my downloads?