• Αναζήτηση
  • Πλοήγηση
    • Τύποι τεκμηρίων
    • Επιστημονικά πεδία
    • Σχολές/Τμήματα/Ινστιτούτα
    • Φορείς
    • Συλλογές
  • Διαλειτουργικότητα
  • Σχετικά
    • Το έργο
    • Οδηγίες για αναζήτηση & πλοήγηση
  • Για φορείς
    • Ένταξη συλλογών
    • Προδιαγραφές ένταξης
    • Φόρμα εκδήλωσης ενδιαφέροντος
  • Επικοινωνία
  • ΕΛ • EN
Περισσότερα κριτήρια αναζήτησης Λιγότερα κριτήρια αναζήτησης
Καθαρισμός Βοήθεια


Φίλτρα αποτελεσμάτων  

Φίλτρα αποτελεσμάτων

Καθαρισμός
Tύπος τεκμηρίου
Επιστημονικό πεδίο
Σχολή/Τμήμα/Ινστιτούτο
Χρονολογία
Γλώσσα
Φορέας / συλλογή
Υποδομές ΕΚΤ eContent
1  -  30   από   128   τεκμήρια

     
    Large cardinals and structural reflection
    Δημιουργός: Ασλάνης-Πέτρου Ρωμανός, Aslanis-Petrou Romanos
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2024
    Γλώσσα: Αγγλική γλώσσα
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    Ελάχιστος βαθμός και εμβυθίσεις πλήρων γραφημάτων
    Δημιουργός: Οικονόμου Μάρθα, Oikonomou Martha
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2024
    Γλώσσα: Ελληνική γλώσσα
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    The Expressive Power of Higher-Order Datalog with Negation
    Δημιουργός: Κωστόπουλος Χαράλαμπος, Kostopoulos Charalampos
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2023
    Γλώσσα: Αγγλική γλώσσα
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    Two proofs of Peano Arithmetic’s Consistency
    Δημιουργός: Σεβαστού Νικολέτα, Sevastou Nikoleta
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2025
    Γλώσσα: Αγγλική γλώσσα
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    Morley’s Categoricity Theorem
    Δημιουργός: Αποστόλου Φίλιππος, Apostolou Filippos
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2024
    Γλώσσα: Αγγλική γλώσσα
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    Pricing Games in Heterogeneous Parallel Networks
    Δημιουργός: Παππάς Θωμάς, Pappas Thomas
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2025
    Γλώσσα: Αγγλική γλώσσα
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    Minor­Obstructions for Apex Pseudoforests
    Δημιουργός: Τσατσάνης Κωνσταντίνος, Tsatsanis Konstantinos
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2022
    Γλώσσα: Αγγλική γλώσσα
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    Το πρόβλημα της συνέπειας για το αξιωματικό σύστημα NF The problem of consistency for NF
    Δημιουργός: Ρουβέλας, Παναγιώτης, Rouvelas, Panagiotis
    Τύπος τεκμηρίου: Διδακτορική διατριβή
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2017
    Γλώσσα: Ελληνική γλώσσα
    Σχολή/τμήμα/ινστιτούτο: Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης ▶ Σχολή Θετικών Επιστημών ▶ Τμήμα Μαθηματικών ▶ Τομέας Άλγεβρας, Θεωρίας Αριθμών και Μαθηματικής Λογικής
    Φορέας: Εθνικό Κέντρο Τεκμηρίωσης και Ηλεκτρονικού Περιεχομένου (ΕΚΤ)
    Συλλογή: Εθνικό Αρχείο Διδακτορικών Διατριβών  | ΕΚΤ ΕΑΔΔ
    RDF
    Από τη φιλοσοφική λογική στη βιομηχανική λογική
    Δημιουργός: Σταμούλης, Βασίλειος
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2019
    Γλώσσα: Ελληνική γλώσσα
    Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Ιωαννίνων ▶ Σχολή Θετικών Επιστημών ▶ Τμήμα Μαθηματικών
    Φορέας: Πανεπιστήμιο Ιωαννίνων
    Συλλογή: Ιδρυματικό Αποθετήριο Ολυμπιάς
    RDF
    Upper Bounds on the number of embeddings of minimally rigid graphs
    Δημιουργός: Τζάμος Χαράλαμπος, Tzamos Charalambos
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2021
    Γλώσσα: gre, eng
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    A Survey of Probabilistic Reasoning in Justification Logic
    Δημιουργός: Pipilikas Thomas, Πιπιλίκας Θωμάς
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2021
    Γλώσσα: Αγγλική γλώσσα
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    Non-constructive proof of a fixed point theorem on lexicographic lattice structures
    Δημιουργός: Χατζηαγάπης Ιωάννης, Chatziagapis Ioannis
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2020
    Γλώσσα: Αγγλική γλώσσα
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    About Inspection Games
    Δημιουργός: Καραγιάννης-Αξυπολιτίδης Νίκος, Karagiannis-Axypolitidis Nikos
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2021
    Γλώσσα: Αγγλική γλώσσα
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    Structural and Topological Graph Theory and Well-Quasi-Ordering
    Δημιουργός: Χανιώτης Αριστοτέλης, Chaniotis Aristotelis
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2020
    Γλώσσα: Αγγλική γλώσσα
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    Lexicographic Sets
    Δημιουργός: Πρωτόπαπας Ευάγγελος, Protopapas Evangelos
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2020
    Γλώσσα: Αγγλική γλώσσα
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    Decompositions and Algorithms for the Disjoint Paths Problem in Planar Graphs
    Δημιουργός: Stamoulis Giannos, Σταμούλης Γιάννος
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2019
    Γλώσσα: Αγγλική γλώσσα
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    Notions of Galois connections for Bilattices
    Δημιουργός: Pitsiladis Georgios, Πιτσιλαδής Γεώργιος
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2019
    Γλώσσα: Αγγλική γλώσσα
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    Dimensionality reduction for approximate near neighbor search in the Manhattan metric
    Δημιουργός: Margonis Vasileios, Μαργώνης Βασίλειος
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2019
    Γλώσσα: Αγγλική γλώσσα
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    Contributions of Graph Theory and Algorithms to Animal Behaviour and Neuroscience
    Δημιουργός: Σμιτ Νικόλαος, Smit Nikolaos
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2019
    Γλώσσα: Αγγλική γλώσσα
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    Expanding Graphs and Balanced Separators
    Δημιουργός: Niklanovits Aikaterini, Νικλάνοβιτς Αικατερίνη
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2019
    Γλώσσα: Αγγλική γλώσσα
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    Sorting and Selection Problems in Partially Ordered Sets
    Δημιουργός: Papamichail Merkourios-Christos, Παπαμιχαήλ Μερκούριος-Χρήστος
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2022
    Γλώσσα: Αγγλική γλώσσα
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    Αναζήτηση εχθρικών κόμβων σε δίκτυα Malicious nodes search in networks
    Δημιουργός: Πετρόλια, Σταματίνα Π., Petrolia, Stamatina P.
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2013
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Εφαρμοσμένων Μαθηματικών & Φυσικών Επιστημών ▶ Τομέας Μαθηματικών ▶ Εργαστήριο Αλγοριθμικών Εφαρμογών και Λογικής (2016 - ...)
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF
    Οικογένειες αρχιτεκτονικών λογισμικού με ποσοτικά χαρακτηριστικά Quantitative architecture styles
    Δημιουργός: Παραπονιάρη, Παυλίνα, Paraponiari, Pavlina
    Τύπος τεκμηρίου: Διδακτορική διατριβή
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2024
    Γλώσσα: Αγγλική γλώσσα
    Σχολή/τμήμα/ινστιτούτο: Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης ▶ Σχολή Θετικών Επιστημών ▶ Τμήμα Μαθηματικών ▶ Τομέας Επιστήμης Υπολογιστών και Αριθμητικής Ανάλυσης
    Φορέας: Εθνικό Κέντρο Τεκμηρίωσης και Ηλεκτρονικού Περιεχομένου (ΕΚΤ)
    Συλλογή: Εθνικό Αρχείο Διδακτορικών Διατριβών  | ΕΚΤ ΕΑΔΔ
    RDF
    Χωροχρόνοι με ιδιομορφίες στη Γενική Σχετικότητα Spacetimes with singularities in General Relativity
    Δημιουργός: Κοτοπούλης, Δημήτριος, Kotopoulis, Dimitrios
    Τύπος τεκμηρίου: Διδακτορική διατριβή
    Επιστημονικό πεδίο: Μαθηματική λογική
    Χρονολογία : 2023
    Γλώσσα: Ελληνική γλώσσα
    Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Σχολή Θετικών Επιστημών ▶ Τμήμα Φυσικής ▶ Τομέας Θεωρητικής και Μαθηματικής Φυσικής, Αστρονομίας και Αστροφυσικής
    Φορέας: Εθνικό Κέντρο Τεκμηρίωσης και Ηλεκτρονικού Περιεχομένου (ΕΚΤ)
    Συλλογή: Εθνικό Αρχείο Διδακτορικών Διατριβών  | ΕΚΤ ΕΑΔΔ
    RDF
    Επιστημικές τροπικές λογικές δίχως επίγνωση της άγνοιας. Γνωσιακές δομές, και επεκτάσεις με εκτίμηση και πληροφόρηση.
    Δημιουργός: Ζήκος Γεώργιος
    Τύπος τεκμηρίου: Διδακτορική διατριβή
    Επιστημονικό πεδίο: Υπολογιστικά μαθηματικά, Μαθηματική λογική
    Χρονολογία : 2012
    Γλώσσα: Ελληνική γλώσσα
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    Formalizing Constructive Analysis: A comparison of minimal systems and a study of uniqueness principles.
    Δημιουργός: Βαφειάδου Γαρυφαλλιά
    Τύπος τεκμηρίου: Διδακτορική διατριβή
    Επιστημονικό πεδίο: Υπολογιστικά μαθηματικά, Μαθηματική λογική
    Χρονολογία : 2012
    Γλώσσα: Αγγλική γλώσσα
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    High dimensional Approximate r-nets with emphasis on vectors on a unit hypercube
    Δημιουργός: Κάβουρας Λουκάς, Kavouras Loukas
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Υπολογιστικά μαθηματικά, Μαθηματική λογική
    Χρονολογία : 2016
    Γλώσσα: gre, eng
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    Quantum Complexity, Relativized Worlds, and Oracle Separations
    Δημιουργός: Μυρισιώτης Δημήτριος
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Υπολογιστικά μαθηματικά, Μαθηματική λογική
    Χρονολογία : 2016
    Γλώσσα: Αγγλική γλώσσα
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    OPINION DYNAMICS WITH LOCAL INTERACTIONS
    Δημιουργός: ΣΚΟΥΛΑΚΗΣ ΕΥΣΤΡΑΤΙΟΣ-ΠΑΝΤΕΛΕΗΜΩΝ, SKOULAKIS EFSTRATIOS-PANTELEIMON
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Υπολογιστικά μαθηματικά, Μαθηματική λογική
    Χρονολογία : 2016
    Γλώσσα: Αγγλική γλώσσα
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF
    Παραμετρικοί Αλγόριθμοι και Μητροειδή: η χρήση των συνόλων αντιπροσώπευσης
    Δημιουργός: Πετροπαναγιωτάκη Μαρία, Petropanagiotaki Maria
    Τύπος τεκμηρίου: Μεταπτυχιακή εργασία
    Επιστημονικό πεδίο: Υπολογιστικά μαθηματικά, Μαθηματική λογική
    Χρονολογία : 2016
    Γλώσσα: Ελληνική γλώσσα
    Φορέας: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
    Συλλογή: Πέργαμος
    RDF

    Κλείσιμο

    Κλείσιμο
      • Follow EKT

      Επικοινωνία | Πολιτική Απορρήτου | Όροι Χρήσης | Πνευματική ιδιοκτησία

      ©2025 Εθνικό Κέντρο Τεκμηρίωσης και Ηλεκτρονικού Περιεχομένου

      Βοηθείστε μας να κάνουμε καλύτερο το OpenArchives.gr.

      Πάρτε μέρος στη σύντομη έρευνα!
      Nαι, θα το κάνω τώρα
      Όχι ευχαριστώ