Ein kompakter Sammelband aus der 12. internationalen Konferenz zu Theorem-Proving in Higher Order Logics, die im September 1999 in Nizza stattfand; er liefert praxisnahe Fallstudien und neue Algorithmen zur automatisierten Beweissuche.