Minimal logic and automated proof verification. الإنجليزية (Q2697566)
أطروحة أكاديمية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
أطروحة أكاديمية |
|
| الإنجليزية | Minimal logic and automated proof verification. |
2019 doctoral thesis by Louis Warren at University of Canterbury |
بيانات
Wikidata item الإنجليزية
publication date الإنجليزية
author الإنجليزية
Louis Sekander Wensley Warren الإنجليزية
object named as الإنجليزية
Warren, Louis
١ مراجع
Imported from Wikidata item الإنجليزية
title الإنجليزية
Minimal logic and automated proof verification. (الإنجليزية)
١ مراجع
Imported from Wikidata item الإنجليزية
language of work or name الإنجليزية
instance of الإنجليزية
publisher الإنجليزية
main subject الإنجليزية
country of origin الإنجليزية
copyright status الإنجليزية
full work available at URL الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية