Ashot Baghdasaryan
Original record- Institution
- Yerevan State University
- Year
- 2022
- Country
- Armenia
- MGP identifier
- 282977
Dissertation: Formal Systems of Non-Classical Logic and Automated Theorem Proving Using Machine Learning Methods
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Anahit ChubaryanInstitution not recorded
Students 0
No students recorded in this snapshot.