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: przez admin