Optimizing proof search by machine learning techniques, Thomas Kolbe
Nadie lo ha calificado todavía.Añadir reseña