Proof Planning and Industrial Knowledge Based System

Pěchouček, M.

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