Login / Signup

A Modular First Formalisation of Combinatorial Design Theory.

Chelsea EdmondsLawrence C. Paulson
Published in: CICM (2021)
Keyphrases