Proof Planning and Industrial Knowledge Based System

Pěchouček, M.

PĚCHOUČEK, M. Proof Planning and Industrial Knowledge Based System. [Research Report] Praha: ČVUT FEL, Katedra řídicí techniky, 1997. Report no. GL-29/97.