Inferring the proof process
Bookmark
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.
Related
Connected or similar to Inferring the proof process: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.