Búsqueda de Publicación - Prisma - Unidad de Bibliometría

Publicaciones en la fuente COMPUTATION AND LOGIC IN THE REAL WORLD, PROCEEDINGS

Tipo Año Título Fuente
Ponencia2007On rules and parameter free systems in bounded arithmeticCOMPUTATION AND LOGIC IN THE REAL WORLD, PROCEEDINGS