Constructive reduction: Understanding uncomputability through programming

  1. Ibá̃ez, J.
  2. Sánchez, A.
Revista:
SIGCSE Bulletin Inroads

ISSN: 1096-3936

Año de publicación: 2009

Volumen: 41

Número: 2

Páginas: 90-94

Tipo: Aportación congreso

DOI: 10.1145/1595453.1595482 GOOGLE SCHOLAR