Proof Planning in Multi-Agent Environment

Pěchouček, M.

PĚCHOUČEK, M. Proof Planning in Multi-Agent Environment. [Unpublished Lecture] University of London Department of EE. 1998-03-27.