ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "logická"
logická
Publikace
Předměty
Osoby
Publikace
Studium
Kombinatorika v logickém programování: implementace a aplikace
Publikace na Matematicko-fyzikální fakulta
|
2006
1 osoba
Abstrakt
Článek prezentuje nové techniky pro kombinatorické výpočty v prostředí logického programování.
Klíčová slova
Combinatorics
Logic
Programming
Implementations
Applications
Osoba
person
prof. RNDr. Roman Barták Ph.D.
Matematicko-fyzikální fakulta, Pedagogická fakulta