MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Proof Script Pragmatics in IMPS." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • Proof Script Pragmatics in IMPS  
  • by William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer — 1994 — Automated Deduction| CADE-12, volume 814 of Lecture Notes in Computer Science
  • …Proof Script Pragmatics in IMPS ? William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier…
  • Cited by 4 (3 self) – Add To MetaCart
  • Corporation, 1987. Mitre  
  • by Corporation Ts Of, J. D. Guttman
  • …. M. Farmer, J. D. Guttman, M. E. Nadel, and F. J. Thayer. Proof script pragmatics in imps. In A…
  • Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB