Browsing by Subject "Matematikai logika"
Now showing items 1-2 of 2
-
Formális módszerek alkalmazása a vasútbiztosító technikában
(Budapesti Műszaki és Gazdaságtudományi Egyetem, 2003) -
Semantic technologies based on logic programming
(Budapesti Műszaki és Gazdaságtudományi Egyetem, 2008)