Discover
Clear all filters
Type
Add filters:
Use filters to refine the search results.
Title:
Stochastics of Hydroclimatic Extremes – A Cool Look at Risk
Greek title: Στοχαστική των Ακραίων Υδροκλιματικών Φαινομένων - Μια ψύχραιμη ματιά στη διακινδύνευση
Greek title: Στοχαστική των Ακραίων Υδροκλιματικών Φαινομένων - Μια ψύχραιμη ματιά στη διακινδύνευση
Author(s):
Koutsoyiannis, Demetris
Type:
Undergraduate textbook
Title:
Author(s):
Koutsoyiannis, Demetris
Type:
Undergraduate textbook
Author(s):
Stefaneas, Petros; Koletsos, Georgios
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