upatras eclass | Ειδικά θέματα Υπολογιστικής Λογι... | Έγγραφα

Ειδικά θέματα Υπολογιστικής Λογικής

CEID1131 - Σταύρος Κοσμαδάκης

Έγγραφα

Αρχικός κατάλογος Βιβλία και Βοηθητικό Υλικό

Επάνω

Μαζική Επεξεργασία

Ακύρωση

	Όνομα	Μέγεθος	Ημερομηνία
	σημειώσεις		28/2/24
	Fagin R., Halpern J.Y., Moses Y., Vardi M.Y. - Reasoning About Knowledge-MIT (1995).pdf	1.63 MB	28/2/24, 8:18 π.μ.
	Fitting .pdf	5.08 MB	10/10/16, 1:30 μ.μ.
	Huth Ryan .PDF	2.13 MB	10/10/16, 1:30 μ.μ.
	Nelson-Oppen Congruence.pdf	552.47 KB	1/5/18, 4:01 μ.μ.
	Raymond M. Smullyan auth. First-Order Logic.pdf	3.83 MB	15/3/23, 12:46 μ.μ.