Proof theory-Data processing
ShareCopied to clipboardProof theory-Data processing is a book subject. It includes 3 books, written by 3 different authors.
Key facts
- number of authors: 3 people
- number of books: 3
- books: A proof theory for description logics, Inferring the proof process, Proof and disproof in formal logic
- authors: Alexandre Rademaker, Andrius Velykis, Richard Bornat
- publication dates: 2012, 2012, 2005
- book publishers: : Springer, Newcastle UniversityComputing Science, Oxford University Press
See more factsExtract data
Download datasets about Proof theory-Data processing:
Dataset of books about Proof theory-Data processing:
"Proof theory-Data processing" is one of the 293,135 book subjects in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.