STICKEL, M. E., WALDINGER, R. J., AND CHAUDHRIM, V. K. 2001. A Guide to SNARK. Tech. Rep. http://www.ai.sri.com/snark/tutorial/tutorial.html. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Framework for Resolution of Time in Natural - Language Benjamin Han (2004) (Correct)
No context found.
STICKEL, M. E., WALDINGER, R. J., AND CHAUDHRIM, V. K. 2001. A Guide to SNARK. Tech. Rep. http://www.ai.sri.com/snark/tutorial/tutorial.html.
Common Sense Data Acquisition for Indoor Mobile Robots - Kochenderfer, Gupta (2003) (Correct)
No context found.
Mark E. Stickel, Richard J. Waldinger, and Vinay K. Chaudhri (2001). A Guide to SNARK. www.ai.sri.com/snark.
Practical Partition-Based Theorem Proving for Large.. - MacCartney, McIlraith.. (2003) (Correct)
No context found.
M. E. Stickel, R. J. Waldinger, and V. K. Chaudhri. A guide to SNARK. Technical report, SRI International, 2000.
Practical Partition-Based Theorem Proving for Large.. - MacCartney.. (Correct)
No context found.
M. E. Stickel, R. J. Waldinger, and V. K. Chaudhri. A guide to SNARK. Technical report, SRI International, 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC