1977-11-03
Matroids and linking systems
Publication
Publication
Additional Metadata | |
---|---|
Mechanization of proofs and logical operations (msc 03B35) | |
P.C. Baayen | |
Vrije Universiteit Amsterdam | |
Schrijver, A. (1977, November 3). Matroids and linking systems.
|