Σημασιολογία στην Επιστήμη των Υπολογιστών

Έγγραφα

Επάνω
ΤύποςAρχείο ΕπάνωΜέγεθοςΗμερομηνία
Δ. Πορτίδης, Σ. Ψύλλος, Δ. Αναπολιτάνος - Λογική_ η δομή του επιχειρήματος (2007, Νεφέλη).pdf 14.1 MB18/3/20
Logic in Computer Science 2nd ed - M. Huth, M. Ryan (Cambridge, 2004) WW.PDF 2.13 MB18/3/20
Fagin R., Halpern J.Y., Moses Y., Vardi M.Y. - Reasoning About Knowledge-MIT (1995).pdf 1.63 MB18/3/20