Narzędzia użytkownika

Narzędzia witryny


research

To jest stara wersja strony!


1. Logical automated reasoning, SAT, MaxSAT

2. Software engineering, Model-driven software development

3. Intelligent Environments, Ambient Intelligence, Artificial Intelligence

4. Blockchain, Java, Python

Row 1 Col 1 Row 1 Col 2 Row 1 Col 3
Row 2 Col 1 some colspan (note the double pipe)
Row 3 Col 1 Row 3 Col 2 Row 3 Col 3
research.1601235569.txt.gz · ostatnio zmienione: 2020/09/27 21:39 przez 10.130.18.82