Bookbot

Optimizing proof search by machine learning techniques

Compra de libros

Optimizing proof search by machine learning techniques, Thomas Kolbe

Idioma
Publicado en
1997
Te avisaremos por correo electrónico en cuanto lo localicemos.

Métodos de pago

Nadie lo ha calificado todavía.Añadir reseña