Extension of the semantic machine of transparent intensional logic prototype

Extension of the semantic machine of transparent intensional logic prototype

Author

Branislav Bednár
Technical University of Košice, Faculty of Electrical Engineering and Informatics

Supervisor

Ing. Zuzana Bilanová, PhD.

About the project

Year

2021

Share