Searching for "Issues in Theorem Proving Based on the Connection Method." – 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.

Journal of the IGPL
by Volume Number February, Special Issue Of The, Dov M. Gabbay, Jon Barwise, Wilfrid Hodges, Hans Kamp, Robert Kowalski, Ewa Orlowska, Amir Pnueli, Vaughan Pratt, Johan Van Benthem
…. Issues in Theorem Proving Based on the Connection Method. In Baumgartner, Hahnle, Posegga, editors, 1995…
Add To MetaCart

Showing 1 through 1.

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