TY  - GEN

T1  - A Modular First Formalisation of Combinatorial Design Theory

UR  - http://dx.doi.org/10.1007/978-3-030-81097-9_1

PY  - 2021/05/28

AU  - Edmonds C

AU  - Paulson L

ED  - 

Y2  - 2024/12/23

ER  -