de Ng Dick Bruijn is an author at University of Amsterdam specializing in engineering, discrete mathematics, and computer science.
Top concepts
EngineeringDiscrete MathematicsComputer ScienceFormal MethodsAutomated ReasoningFunctional AnalysisCombinatorial OptimizationGeometryEducationSemantics
Publications per year
1946–1995
22
22
de Ng Dick Bruijn · Data Archiving and Networked Services (DANS) · 1946 · 1.3K citations · Full text
A survey of the project Automath
de Ng Dick Bruijn · Data Archiving and Networked Services (DANS) · 1980 · 256 citations · Full text
Rows per page
1–5 of 22