Narzędzia użytkownika
Pasek boczny
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
research.1601235402.txt.gz · ostatnio zmienione: 2020/09/27 21:36 przez 10.130.18.82
Narzędzia strony
Wszystkie treści w tym wiki, którym nie przyporządkowano licencji, podlegają licencji: CC Attribution-Share Alike 4.0 International
