Proving Things About the Informal
Crossref DOI link: https://doi.org/10.1007/978-3-319-22156-4_11
Published Online: 2021-07-13
Published Print: 2015
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Shapiro, Stewart
Text and Data Mining valid from 2015-01-01
Version of Record valid from 2015-01-01
Chapter History
First Online: 13 July 2021