Discover
Clear all filters
Type
Subject
Add filters:
Use filters to refine the search results.
Author(s):
Karakasi, Aikaterini; Spyridopoulou, Maria; Kotelides, George
Type:
Chapter
Title:
Author(s):
Michalopoulos, Andreas; Michalopoulos, Charilaos
Type:
Chapter
Title:
Author(s):
Michalopoulos, Andreas; Michalopoulos, Charilaos
Type:
Chapter
Title:
Love odes Ι: 1.5 (Quis multa), 1.13 (Cum tu, Lydia), 1.19 (Mater saeva Cupidinum), 1.23 (Vitas inuleo me similis), 1.33 (Albi, ne doleas)
Greek title: Ερωτικές ωδές Ι: 1.5 (Quis multa), 1.13 (Cum tu, Lydia), 1.19 (Mater saeva Cupidinum), 1.23 (Vitas inuleo me similis)
Greek title: Ερωτικές ωδές Ι: 1.5 (Quis multa), 1.13 (Cum tu, Lydia), 1.19 (Mater saeva Cupidinum), 1.23 (Vitas inuleo me similis)
Author(s):
Michalopoulos, Andreas; Michalopoulos, Charilaos
Type:
Chapter
Title:
Author(s):
Koletsos, Georgios
Type:
Chapter
Title:
Lambda calculus and proofs, Curry–Howard isomorphism
Greek title: Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard
Greek title: Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard
Author(s):
Koletsos, Georgios
Type:
Chapter
Title:
The logic of propositions, propositional calculus
Greek title: Η λογική των προτάσεων, προτασιακός λογισμός
Greek title: Η λογική των προτάσεων, προτασιακός λογισμός
Author(s):
Koletsos, Georgios
Type:
Chapter
Title:
Author(s):
Koletsos, Georgios
Type:
Chapter
Title:
Author(s):
Koletsos, Georgios
Type:
Chapter