Vampire oc. Autoformato de tipo informe 1 tutorial.

ICPC programming. Forth cote 15-09-12 para que serve.