Todo idUSComunidades y coleccionesFecha de publicaciónAutoresTítulosMateriasAgencias financiadorasPremiadosPerfiles de autor USEsta colecciónFecha de publicaciónAutoresTítulosMateriasAgencias financiadorasPremiados
Mostrando ítems 1-2 de 2
The aim ofthis paper is to develop an executable prototype ofan unconventional model ofcomputation. Using the PVS ...