Home
Random
Nearby
Log in
Settings
Donate
About Wikidata
Disclaimers
Search
(Q103297954)
Watch
English
Louis Sekander Wensley Warren
Ph.D. University of Canterbury 2019
Louis Warren
In more languages
edit
Statements
instance of
human
0 references
given name
Louis
0 references
educated at
University of Canterbury
2 references
stated in
Mathematics Genealogy Project
stated in
Minimal logic and automated proof verification.
academic degree
Doctor of Philosophy
point in time
2019
dissertation submitted to
University of Canterbury
1 reference
reference URL
http://hdl.handle.net/10092/17558
academic thesis
Minimal logic and automated proof verification.
object has role
doctoral thesis
0 references
doctoral advisor
Hannes Diener
1 reference
stated in
Mathematics Genealogy Project
Maarten McKubre-Jordens
1 reference
stated in
Mathematics Genealogy Project
José Felipe Voloch
2 references
stated in
Minimal logic and automated proof verification.
reference URL
http://hdl.handle.net/10092/17558
on focus list of Wikimedia project
NZThesisProject
0 references
Identifiers
Mathematics Genealogy Project ID
256603
0 references
Sitelinks
Wikipedia
(0 entries)
edit
Wikibooks
(0 entries)
edit
Wikinews
(0 entries)
edit
Wikiquote
(0 entries)
edit
Wikisource
(0 entries)
edit
Wikiversity
(0 entries)
edit
Wikivoyage
(0 entries)
edit
Wiktionary
(0 entries)
edit
Multilingual sites
(0 entries)
edit