Browsing by Author "Vyletělek, Petr"

Now showing items 1-2 of 2

Důkazové systémy v predikátové logice 1. řádu

Vyletělek, Petr (Bakalářská práce, 2006)
Využití Transparentní intensionální logiky pro podporu realizace inferenčního stroje v multiagentovém systému

Vyletělek, Petr (Diplomová práce, 2009)