scientific article; zbMATH DE number 3378915

MaRDI QIDQ5650683zbMATH OpenFDO

Authors N. G. de Bruijn

Publication date 1971

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to combinatorics (05-02) General topics in the theory of software (68N01)

Cited in

(2)

• N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker
• A new mathematical model for tiling finite regions of the plane with polyominoes

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5650683)