Representations of Normalized Formulas
Crossref DOI link: https://doi.org/10.1134/S1990478922040160
Published Online: 2023-03-06
Published Print: 2022-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Rychkov, K. L.
Text and Data Mining valid from 2022-11-01
Version of Record valid from 2022-11-01
Article History
Received: 26 August 2022
Revised: 26 August 2022
Accepted: 31 August 2022
First Online: 6 March 2023