przejście do zawartości
Radosław Klimek
Narzędzia użytkownika
Zaloguj
Narzędzia witryny
Szukaj
Narzędzia
Pokaż źródło strony
Poprzednie wersje
Odnośniki
Ostatnie zmiany
Menadżer multimediów
Indeks
Zaloguj
>
Ostatnie zmiany
Menadżer multimediów
Indeks
Pasek boczny
HOME
POSITION-CONTACT
RESEARCH
TEACHING
VARIA
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
ORCID
Scopus
Google Scholar
|
research.1601241412.txt.gz
· ostatnio zmienione: 2020/09/27 23:16 przez
admin
Narzędzia strony
Pokaż źródło strony
Poprzednie wersje
Odnośniki
Do góry