diploma

DEBUG: found in cache:

Type	Author and work title	Supervisor	Year	prog	disc
	Zarathustra Goertzel: Learning Inference Guidance in Automated Theorem Proving (PDF)	Urban Josef	2023		Umělá inteligence a biokybernetika