Εμφανίζονται 1 - 7 Αποτελέσματα από 7 για την αναζήτηση '"λογική"', χρόνος αναζήτησης: 0,04δλ Περιορισμός αποτελεσμάτων
  1. 1
    A language that is an amalgam of propositional dynamic logic and description logic
    ανά Τσούτσα, Παρασκευή
    Έκδοση 2014
    Θέματα: “…Τροπική λογική…”
    Λήψη πλήρους κειμένου
    Technical Report
  2. 2
    Οντολογίες και λογική παραγωγή με εφαρμογές σε υπηρεσίες μάθησης στο σημασιολογικό ιστό
    ανά Τσιακμάκη, Μαρία
    Έκδοση 2012
    “… Λογικοί και Συμπερασματικοί Κανόνες, η Περιγραφική Λογική, και οι ευφυείς Πράκτορες, μπορούν να…”
    Λήψη πλήρους κειμένου
    Technical Report
  3. 3
    Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Κατηγορηματική λογική…”
    Λήψη πλήρους κειμένου
    Technical Report
  4. 4
    Elementary engineering mechanics applications of the OTTER automated reasoning system
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Κατηγορηματική λογική…”
    Λήψη πλήρους κειμένου
    Technical Report
  5. 5
    Σύνθεση υπηρεσιών ιστού με τη μέθοδο του «Planning as satisfiability»
    ανά Τσούτσα, Παρασκευή
    Έκδοση 2012
    “… συστήματα λογικής όπως Τροπική Λογική (Modal Logic) [6], Προτασιακή Δυναμική Λογική (PDL)[8], Περιγραφική…”
    Λήψη πλήρους κειμένου
    Technical Report
  6. 6
    Automata-theoretic and datalog-based solutions of monadic second-order logic evaluation problems over structures of bounded-treewidth
    Λήψη πλήρους κειμένου
    Technical Report
  7. 7
    A new semi-Gaussian quadrature rule for finite-part integrals in crack problems with a second-order singularity
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Λήψη πλήρους κειμένου
    Technical Report
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email