ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "negátor"
negátor
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
Constructive Negation in CLP(H)
Publikace
1 osoba
Osoba
person
prof. RNDr. Roman Barták Ph.D.
Matematicko-fyzikální fakulta, Pedagogická fakulta