Narzędzia użytkownika
Pasek boczny
research
To jest stara wersja strony!
Research interests
| 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 Google Scholar
research.1601250334.txt.gz · ostatnio zmienione: 2020/09/28 01:45 przez admin
Narzędzia strony
Wszystkie treści w tym wiki, którym nie przyporządkowano licencji, podlegają licencji: CC Attribution-Share Alike 4.0 International
