Searching for "Theorem Proving and Model Building with the Calculus KE." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Theorem Proving and Model Building with the Calculus KE
by Jeremy Pitt, Jim Cunningham — 1996
…Theorem Proving and Model Building with the Calculus KE JEREMY PITT,Department of Computing…
Cited by 10 (5 self) – Add To MetaCart

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
….J. Ohlbach 129 Theorem Proving and Model Building with the Calculus KE J. Pitt and J. Cunningham 151…
Add To MetaCart

Showing 1 through 2.

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