Volver atrás Publicación
Sempere Luna José María
1998
Some Learning Systems are Interactive Proof Systems