Application of Theorem Proving Methods for Automatic Program Synthesis for N. C. Machine Tools

Andrzej M. Goscinski, Tadeusz Szuba. Application of Theorem Proving Methods for Automatic Program Synthesis for N. C. Machine Tools. Wirtschaftsinformatik, 23(5):191-197, 1981.

No reviews for this publication, yet.