Proof Planning and Industrial Knowledge Based System

Pěchouček, M.

PĚCHOUČEK, M. Proof Planning and Industrial Knowledge Based System. 1997. GL-29/97.