Showing 1 - 1 results of 1 for search '"Αυτοματοποιημένη εξαγωγή συμπερασμάτων"', query time: 0.03s Refine Results
  1. 1
    Elementary engineering mechanics applications of the OTTER automated reasoning system
    by Ioakimidis, Nikolaos
    Published 2018
    Subjects: “…Αυτοματοποιημένη εξαγωγή συμπερασμάτων…”
    Get full text
    Technical Report
Search Tools: RSS Feed – Email Search