Support Kallipos by signing for its continuation!
  1. Home
  2. Search Results

Discover


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 31-40 of 42 (Search time: 0.104 seconds).
Preview:
02_chapter_6.pdf.jpg
Title:
Computability, recursive functions
Other title: Υπολογισιμότητα, αναδρομικές συναρτήσεις
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_10.pdf.jpg
Title:
Lambda calculus and proofs, Curry–Howard isomorphism
Other title: Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_3.pdf.jpg
Title:
Proof system
Other title: Αποδεικτικό σύστημα
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_8.pdf.jpg
Title:
Gentzen Systems
Other title: Συστήματα Gentzen
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_9.pdf.jpg
Title:
Tableaux systems
Other title: Συστήματα Tableaux
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_1.pdf.jpg
Title:
Επικοινωνία στη μαθησιακή διαδικασία
Author(s):
Psaltopoulou, Theodora; Zafranas, Nikolaos; Kaminis, Ioannis
Type:
Chapter
Preview:
02_chapter_3.pdf.jpg
Title:
Επικοινωνία στη μουσικοθεραπεία
Author(s):
Psaltopoulou, Theodora; Zafranas, Nikolaos; Kaminis, Ioannis
Type:
Chapter
Preview:
02_chapter_02.pdf.jpg
Title:
Θεωρίες Εξέλιξης – Γονίδια
Author(s):
Zafranas, Nikolaos; Zafranas, Aristeidis
Type:
Chapter
Preview:
02_chapter_04.pdf.jpg
Title:
Φιλοσοφίες και Θεωρητικά επιτεύγματα του 19ου και 20ου αι.
Author(s):
Zafranas, Nikolaos; Zafranas, Aristeidis
Type:
Chapter
Preview:
02_chapter_01.pdf.jpg
Title:
Εισαγωγή σε έννοιες και στοιχεία για τον ανθρώπινο εγκέφαλο
Author(s):
Zafranas, Nikolaos; Zafranas, Aristeidis
Type:
Chapter