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 40 (Search time: 0.015 seconds).
Preview:
02_chapter_4.pdf.jpg
Title:
First-order predicate calculus
Greek title: Πρωτοβάθμια κατηγορηματική Λογική
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_3.pdf.jpg
Title:
Proof system
Greek title: Αποδεικτικό σύστημα
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_8.pdf.jpg
Title:
Gentzen Systems
Greek title: Συστήματα Gentzen
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_9.pdf.jpg
Title:
Tableaux systems
Greek title: Συστήματα Tableaux
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
02_chapter_1.pdf.jpg
Title:
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή
Author(s):
Koletsos, Georgios
Type:
Chapter
Preview:
merged_document_3-KOY.pdf.jpg
Title:
Εφαρμογές της λογικής στην πληροφορική
Author(s):
Stefaneas, Petros; Koletsos, Georgios
Type:
Undergraduate textbook
Preview:
no thumbnail found
Title:
RECTANGLES
Author(s):
Santorinaios, Matthaios; Zoi, Stavroula; Dimitriadi, Nefeli; Diamantopoulos, Taxiarchis; Bardakos, Giannis
Type:
Algorithm
Preview:
02_chapter_3.pdf.jpg
Title:
Το εργαστήριο του σύγχρονου καλλιτέχνη και οι χώροι προβολής του ψηφιακού έργου
Author(s):
Santorinaios, Matthaios; Zoi, Stavroula; Dimitriadi, Nefeli; Diamantopoulos, Taxiarchis; Bardakos, Giannis
Type:
Chapter
Preview:
chapter_1.pdf.jpg
Title:
LOGIC AND FUNCTIONAL PROGRAMMING
Greek title: ΛΟΓΙΚΗ ΚΑΙ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
Author(s):
Stefaneas, Petros; Koletsos, Georgios
Type:
Chapter
Preview:
chapter_3.pdf.jpg
Title:
ΕΞΙΣΩΤΙΚΗ ΛΟΓΙΚΗ
Author(s):
Stefaneas, Petros; Koletsos, Georgios
Type:
Chapter