Εμφανίζονται 1 - 3 Αποτελέσματα από 3 για την αναζήτηση 'Wos, Larry', χρόνος αναζήτησης: 0,01δλ Περιορισμός αποτελεσμάτων
  1. 1
    Automated reasoning and the discovery of missing and elegant proofs
    ανά Wos, Larry
    Έκδοση 2003
    Βιβλίο
  2. 2
    Automated reasoning introduction and applications
    ανά Wos, Larry
    Έκδοση 1984
    Βιβλίο
  3. 3
    Automated reasonic 33 basic research problems
    ανά Wos, Larry
    Έκδοση 1988
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email