Hledat
dokazování vět
http://psh.techlib.cz/skos/PSH12522
Anglický ekvivalent
theorem demonstration
Nadřazené heslo
umělá inteligence
Heslo ve formátu JSON-LD
Hlavní hesla
výpočetní technika
software
umělá inteligence
dokazování vět
Katalog NTK
Šedá literatura
Podrobné výsledky v katalogu NTK >>
Podrobné výsledky v repozitáři NUŠL >>