Maple Information Tools in the Study of Mathematical Logic Questions
Crossref DOI link: https://doi.org/10.15405/epct.23021.5
Published Online: 2023-02-27
Update policy: https://doi.org/10.15405/europeanpublisher_crossmark_policy
Olenev, A. A.
Petlina, E. M.
Shuvaev, A. V.
Grivennaya, N. V.
Khabarov, A. N.
Publication History
Published: 2023-02-27