Εμφανίζονται 1 - 5 Αποτελέσματα από 5 για την αναζήτηση '"λογική"', χρόνος αναζήτησης: 0,05δλ Περιορισμός αποτελεσμάτων
  1. 1
    Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Κατηγορηματική λογική…”
    Λήψη πλήρους κειμένου
    Technical Report
  2. 2
    Elementary engineering mechanics applications of the OTTER automated reasoning system
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Κατηγορηματική λογική…”
    Λήψη πλήρους κειμένου
    Technical Report
  3. 3
    Mathematica-based natural language processing in applied mechanics
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Λήψη πλήρους κειμένου
    Λήψη πλήρους κειμένου
    Conference (paper)
  4. 4
    A new semi-Gaussian quadrature rule for finite-part integrals in crack problems with a second-order singularity
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Λήψη πλήρους κειμένου
    Technical Report
  5. 5
    Quantifier elimination and quantifier-free formulae for universally–existentially (AE) quantified formulae in Ben-Haim's info-gap model of uncertainty
    ανά Ioakimidis, Nikolaos
    Έκδοση 2021
    Λήψη πλήρους κειμένου
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email