Proof and synthesis.

M. P. Fourman W. J. Palmer R. M. Zimmer

Published in: ICCD (1988)

Keyphrases

theorem prover
theorem proving
data sets
search algorithm
similarity measure
texture synthesis
analog circuits
program synthesis
database
learning algorithm
wide range
linear logic
automated theorem proving
proof theory
proof planning