Machine Learning for Proof General: Interfacing Interfaces (Funded by EPSRC First Grant Scheme)

achoohomelessΤεχνίτη Νοημοσύνη και Ρομποτική

14 Οκτ 2013 (πριν από 4 χρόνια και 29 μέρες)

136 εμφανίσεις