Listar Capítulos (Ciencias de la Computación e Inteligencia Artificial) por agencia financiadora "Ministerio de Educación y Cultura (MEC). España"
Mostrando ítems 1-1 de 1
-
Capítulo de Libro
Specification of Adleman’s Restricted Model Using an Automated Reasoning System: Verification of Lipton’s Experiment
(Springer, 2002)The aim ofthis paper is to develop an executable prototype ofan unconventional model ofcomputation. Using the PVS ...