Φόρτωση…
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα
Προφίλ
Το προφίλ μου
Η βιβλιοθήκη μου
Μετρήσεις
Προειδοποιήσεις
Ρυθμίσεις
Είσοδος
Είσοδος
Προφίλ
Το προφίλ μου
Η βιβλιοθήκη μου
Chih-Duo Hong (洪智鐸)
National Chengchi University, Taiwan
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα nccu.edu.tw
Γίνεται αναφορά σε 326
Parameterised verification
Automated reasoning
Computational learning
Απόρρητο
Όροι
Βοήθεια
Σχετικά με τον Μελετητή
Βοήθεια για την Αναζήτηση