Discover
Clear all filters
Item Category
- 555 Textbook
- 5067 Chapter
- 949 Learning Object
Type
- 5067 Chapter
- 500 Undergraduate textbook
- 378 Video Clip
- 176 Image
- 96 Exercise
- 63 Interactive object
- 54 Slides
- 49 Simulation
- 44 Algorithm
- 36 Test / Exam
- next >
Publication year
- 3 2023
Add filters:
Use filters to refine the search results.
Results 4811-4820 of 6575 (Search time: 0.021 seconds).
Preview:
Author(s):
Krestenitis, Ioannis; Androulidakis, Ioannis; Karampas, Theofanis; Kombiadou, Katerina; Makris, Christos
Type:
Algorithm
Author(s):
Seel, Olaf Immanuel; Seel, Olaf Immanuel
Type:
Chapter
Title:
Author(s):
Krestenitis, Ioannis; Kombiadou, Katerina; Makris, Christos; Androulidakis, Ioannis; Karampas, Theofanis
Type:
Chapter
Author(s):
Seel, Olaf Immanuel; Seel, Olaf Immanuel
Type:
Chapter
Author(s):
Krestenitis, Ioannis; Kombiadou, Katerina; Makris, Christos; Androulidakis, Ioannis; Karampas, Theofanis
Type:
Chapter
Author(s):
Krestenitis, Ioannis; Kombiadou, Katerina; Makris, Christos; Androulidakis, Ioannis; Karampas, Theofanis
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:
Author(s):
Karampas, Theofanis; Krestenitis, Ioannis; Koutitas, Christoforos
Type:
Chapter
Author(s):
Karampas, Theofanis; Krestenitis, Ioannis; Koutitas, Christoforos
Type:
Chapter