Inferring the proof process
ShareCopied to clipboardInferring the proof process is a book. It was written by Andrius Velykis and published by Newcastle UniversityComputing Science in 2012.
Key facts
- author: Andrius Velykis
- publication date: 2012
- book publisher: Newcastle UniversityComputing Science
- book series: Technical report series
- book subjects: Proof theory-Data processing
See more factsExtract data
Download datasets about Inferring the proof process:
Dataset of books series that contain Inferring the proof process:
Dataset of book subjects that contain Inferring the proof process:
"Inferring the proof process" is one of the books by Andrius Velykis, books by Newcastle UniversityComputing Science and 2,617,384 books in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.