A discourse on guessing and reasoning
From MaRDI portal
Publication:6175113
DOI10.1007/978-3-031-31476-6_14zbMath1529.68248OpenAlexW4376854018MaRDI QIDQ6175113
Publication date: 17 August 2023
Published in: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-31476-6_14
Cites Work
This page was built for publication: A discourse on guessing and reasoning