Minimal logic and automated proof verification.

Summary

Minimal logic and automated proof verification. is a doctoral thesis^[1].

Key Facts

• Minimal logic and automated proof verification. authored Louis Sekander Wensley Warren^[2].
• Minimal logic and automated proof verification.'s instance of is recorded as doctoral thesis^[3].
• Minimal logic and automated proof verification. was published by UC Research Repository^[4].
• Minimal logic and automated proof verification.'s language of work or name is recorded as English^[5].
• Minimal logic and automated proof verification.'s country of origin is recorded as New Zealand^[6].
• Minimal logic and automated proof verification. was published on 2019^[7].
• Minimal logic and automated proof verification.'s main subject is mathematics^[8].
• Minimal logic and automated proof verification.'s work available at URL is recorded as https://ir.canterbury.ac.nz/handle/10092/17558^[9].
• Minimal logic and automated proof verification.'s title is recorded as Minimal logic and automated proof verification.^[10].
• Minimal logic and automated proof verification.'s copyright holder is recorded as Louis Sekander Wensley Warren^[11].
• Minimal logic and automated proof verification.'s thesis submitted to is recorded as University of Canterbury^[12].
• Minimal logic and automated proof verification.'s on focus list of Wikimedia project is recorded as NZThesisProject^[13].
• Minimal logic and automated proof verification.'s copyright status is recorded as copyrighted^[14].
• Minimal logic and automated proof verification.'s online access status is recorded as open access^[15].
• Minimal logic and automated proof verification.'s thesis committee member is recorded as José Felipe Voloch^[16].
• Minimal logic and automated proof verification.'s thesis committee member is recorded as Hannes Diener^[17].
• Minimal logic and automated proof verification.'s thesis committee member is recorded as Maarten McKubre-Jordens^[18].
• Minimal logic and automated proof verification.'s thesis submitted for degree is recorded as Doctor of Philosophy^[19].

Body

Authorship and Creation

Minimal logic and automated proof verification. authored Louis Sekander Wensley Warren^[2]. Minimal logic and automated proof verification. was published by UC Research Repository^[4].

Publication

Minimal logic and automated proof verification. was released on 2019^[7]. Minimal logic and automated proof verification.'s language of work or name is recorded as English^[5].

Subject and Themes

Minimal logic and automated proof verification.'s main subject is mathematics^[8].