Thinking Programs
From MaRDI portal
Publication:5007099
DOI10.1007/978-3-030-80507-4zbMath1472.68002OpenAlexW3209712111MaRDI QIDQ5007099
Publication date: 25 August 2021
Published in: Texts & Monographs in Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-80507-4
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in computer science (03B70) Theory of software (68Nxx)
This page was built for publication: Thinking Programs
