Χ. Χαρτωνας

Βιβλία - Συγγραφή (3)

Βασική λογική

Προτεινόμενο 0 φορές · Σε 0 συλλογές · 493 εμφανίσεις

Θεμελίωση και σημασιολογία γλωσσών προγραμματισμού

Προτεινόμενο 0 φορές · Σε 0 συλλογές · 472 εμφανίσεις

Βασική θεωρία υπολογισιμότητας

Προτεινόμενο 0 φορές · Σε 0 συλλογές · 555 εμφανίσεις