Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics الإنجليزية (Q5279234)
doctoral thesis الإنجليزية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
لا يوجد وصف |
|
| الإنجليزية | Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics |
doctoral thesis |
بيانات
Wikidata item الإنجليزية
instance of الإنجليزية
title الإنجليزية
Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics (الإنجليزية)
١ مراجع
Imported from Wikidata item الإنجليزية
author الإنجليزية
Lincoln Wallen الإنجليزية
object named as الإنجليزية
Lincoln A. Wallen
series ordinal الإنجليزية
1
١ مراجع
Imported from Wikidata item الإنجليزية
publication date الإنجليزية