A multi-agent framework for distributed theorem proving.

Sat, 01 Jan 2005 00:00:00 +0100

Chih-Hung Wu:
A multi-agent framework for distributed theorem proving. Expert Syst. Appl. 29(3): 554-565 (2005)