Mesterséges Intelligencia és Rendszertervezés Tanszék
ellenőrizhető tanúsítványok (1) · nem-felfedő bizonyítás (1) · önkiértékelésű eljárásrendek (1) · párhuzamosítás (1) · PLONK (1) · Prolog (1)
Összesen 1 szakdolgozat és diplomaterv. Összes téma megtekintése »