Różnice

Różnice między wybraną wersją a wersją aktualną.

--- research [2020/09/28 12:48]
admin
+++ research [2020/09/30 22:41]
admin
@@ Linia 9: / Linia 9: @@
 ----
-| Logical automated reasoning, SAT, MaxSAT |
+| **Logical automated reasoning, SAT, MaxSAT** |
-| Software engineering, Model-driven software development |
+| **Software engineering, Model-driven software development** |
-| Intelligent Environments, Ambient Intelligence, Artificial Intelligence |
+| **Intelligent Environments, Ambient Intelligence, Artificial Intelligence** |
-| Blockchain, Java, Python |
+| **Blockchain, Java, Python** |

Radosław Klimek