Prova de Teoremas, Papers e Listas de Sistemas de Prova

Links: The Reasoning Page Automated Theorem Proving (course) Papers: Paulson, Isabelle, HOL, etc. Diversos Papers da University of Edinburgh Listagem de Sistemas Computacionais de Prova

Voltar

Dezembro/2002