Cycling in proofs, feasibility and no speed-up for nonstandard arithmetic

Detalles Bibliográficos
Autor principal: Carbone, A
Lenguaje:eng
Publicado: 1996
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/311047

Internet

http://cds.cern.ch/record/311047

Ejemplares similares