scientific article; zbMATH DE number 3378915
From MaRDI portal
Publication:5650683
zbMath0239.05001MaRDI QIDQ5650683
No author found.
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to combinatorics (05-02) General topics in the theory of software (68N01)
Related Items (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:
