Search CORE

536 research outputs found

Highlighting the lambda-free fragment of Automath

Author: N.G. Bruijn de
N.G. Bruijn de
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Stereometrie in V.W.O.

Author: Bruijn de, N.G.
Publication venue: s.n.
Publication date: 01/01/1978
Field of study

Repository TU/e

Pure OAI Repository

Een klaverbladknoop in de vorm van een ruimtelijke negenhoek met rechte hoeken en diëdrische symmetrie

Author: Bruijn de, N.G.
Publication venue
Publication date: 01/01/1976
Field of study

Repository TU/e

Pure OAI Repository

Definition of limits in Automath

Author: de Bruijn N.G.
Publication venue: Technische Hogeschool Eindhoven
Publication date: 01/01/1970
Field of study

Repository TU/e

Pure OAI Repository

A note on ordered bipartite graphs

Author: Bruijn de, N.G.
Publication venue: Technische Hogeschool Eindhoven
Publication date: 01/01/1974
Field of study

Repository TU/e

Pure OAI Repository

On the number of uncancelled elements in the sieve of Eratosthenes

Author: Bruijn de, N.G.
Publication venue
Publication date: 01/01/1950
Field of study

Repository TU/e

Pure OAI Repository

A framework for the description of a number of members of the AUTOMATH family

Author: Bruijn de, N.G.
Publication venue: Technische Hogeschool Eindhoven
Publication date: 01/01/1974
Field of study

A framework for the description of a number of members of the AUTOMATH family by N.G. de Bruijn 1. Introduction. I

Repository TU/e

Pure OAI Repository

Commentary

Author: Bruijn de, N.G.
Publication venue: Mathematical Centre
Publication date: 01/01/1978
Field of study

Pure OAI Repository

Remarks on flowcharts

Author: Bruijn de, N.G.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1983
Field of study

Repository TU/e

Pure OAI Repository

Enumerative combinatorial problems concerning structures

Author: Bruijn de, N.G.
Publication venue
Publication date: 01/01/1963
Field of study

Repository TU/e

Pure OAI Repository

…

core

core