Miller D, Proof Theory and Logic Programming. Computation as Proof Search 2025
Details
- Hash：346d8e6b479eacac91acf08560f4e04d734a6b88
- Size：10.3 MB
- Views：7
- Filecount：1+
- Downloads：1 times
- Updated at：2025-12-06 17:49
- Visited at：2026-06-10 07:45
Description
This Infohash named 'Miller D, Proof Theory and Logic Programming. Computation as Proof Search 2025' with the hash value of 346d8e6b479eacac91acf08560f4e04d734a6b88 is available for download. It has a size of 10.3 MB, has been viewed 7 times, and has been downloaded 1 times. Last updated at 2025-12-06 17:49, last visited at 2026-06-10 07:45.
It is associated with the following tags: Proof , Theory , Computation , MillerDProofTheoryandLogicProgrammingComputationasProofSearch2025 , as , 2025 , Miller , Logic , Programming , Search , and .
Download
Report
❗ Disclaimer: This website is non-commercial and all services are provided for learning and communication purposes only. It is designed to facilitate users in searching for study materials and does not make any charge requests. This website does not store any resources or data; it only crawls magnet links and their metadata. We are not responsible for the authenticity, validity, and compliance of the magnet links.