Narzędzia użytkownika

Narzędzia witryny


research

To jest stara wersja strony!


Logical automated reasoning, SAT, MaxSAT
Software engineering, Model-driven software development
Intelligent Environments, Ambient Intelligence, Artificial Intelligence
Blockchain, Java, Python
research.1601235692.txt.gz · ostatnio zmienione: 2020/09/27 21:41 przez 10.130.18.82