Artigos sobre vários Provadores de Teoremas

SETHEO (setheo@informatik.tu-muenchen.de):

SETHEO V3.2 - System abstract - ("dvi" format)

HOL (slind@informatik.tu-muenchen.de):

The HOL system description("ps.gz" format)

Isabelle

A Gentle Introduction to Isabelle ("dvi" format)