Extension of the semantic machine of transparent intensional logic prototype

Extension of the semantic machine of transparent intensional logic prototype

Author

Branislav Bednár

Supervisor

Ing. Zuzana Bilanová, PhD.

About the project

Abstract Thesis

Year

2021

Share