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

Andrzej M. Goscinski Tadeusz Szuba

Published in: Angew. Inform. (1981)

Keyphrases

theorem proving
program synthesis
theorem prover
data mining
machine learning
information retrieval
probabilistic model
random variables