Active Cartesian Modular Dynamics: Machine-Verified Foundations

Gurd, Jeffrey Michael

DOI: 10.5281/zenodo.23648050

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.