Proof Planning and Industrial Configuration

Pěchouček, M.

PĚCHOUČEK, M. Proof Planning and Industrial Configuration. In: PAP '97 Proceedings. Proceedings of the Fifth International Conference on the Practical of Prolog, London, 1997-04-22/1997-04-24. London: The Practical Application Company, 1997. pp. 233-240. ISBN 0-9525554-5-X.