Critical agents supporting interactive theorem proving (0)

by Christoph Benzmüller, Volker Sorge
Venue:Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA ’99