Narzędzia użytkownika

Narzędzia witryny


research

To jest stara wersja strony!


Research interests


Raphael (1509-1511): The School of Athens.


Logical automated reasoning, SAT, MaxSAT
Software engineering, Model-driven software development
Intelligent Environments, Ambient Intelligence, Artificial Intelligence
Blockchain, Java, Python

BPP - Publications Library AGH ORCID DBLP Scopus ResercherID PBN Google Scholar

research.1609243157.txt.gz · ostatnio zmienione: 2020/12/29 12:59 przez admin