Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

Results 2091-2100 of 2104 (Search time: 0.104 seconds).
Preview:
02_chapter_7.pdf.jpg
Title:
Godel's Incompleteness Theorems
Other title: Τα θεωρήματα μη πληρότητας του Gödel
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_5.pdf.jpg
Title:
Hilbert system
Other title: Σύστημα Hilbert
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_6.pdf.jpg
Title:
Computability, recursive functions
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_13.pdf.jpg
Title:
Contemporary objects-information carriers, handling and storage – Reproduction/digitization – Digital preservation
Other title: Σύγχρονα αντικείμενα-φορείς πληροφορίας, χειρισμός και φύλαξη – Αναπαραγωγή/ψηφιοποίηση υλικού – Ψηφιακή διατήρηση
Author(s):
Zervos, Spyros
Type:
Chapter
Preview:
02_chapter_09.pdf.jpg
Title:
Bookbinding, leather and parchment conservation - Conservation of contemporary objects-information carriers
Other title: Συντήρηση βιβλιοδεσίας, δέρματος και περγαμηνής - Συντήρηση σύγχρονων αντικειμένων-φορέων πληροφορίας
Author(s):
Zervos, Spyros
Type:
Chapter
Preview:
02_chapter_11.pdf.jpg
Title:
Climate control and storage conditions of traditional objects-information carriers
Other title: Κλιματικός έλεγχος και συνθήκες φύλαξης παραδοσιακών αντικειμένων-φορέων πληροφορίας
Author(s):
Zervos, Spyros
Type:
Chapter
Preview:
02_chapter_14.pdf.jpg
Title:
The psychrometric chart – Some topics in chemistry – Artificial aging and its applications
Other title: Το ψυχρομετρικό διάγραμμα - Μερικά θέματα χημείας - Η τεχνητή γήρανση και οι εφαρμογές της
Author(s):
Zervos, Spyros
Type:
Chapter