Searching for "Experience Report on Automated Procedure Construction for Deductive Synthesis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Experience Report on Automated Procedure Construction for Deductive Synthesis
by Steve Roach, Jeffrey Van Baalen
…Experience Report on Automated Procedure Construction for Deductive Synthesis Steve Roach…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB