MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "David Rager" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • Ontology-Based Knowledge Discovery on the World-Wide Web  
  • by Sean Luke, David Rager — 1996 — Working Notes of the Workshop on Internet-Based Information Systems at the 13th National Conference on Artificial Intelligence (AAAI96
  • …://www.cs.umd.edu/~seanl/ Lee Spector* y lspector@(email omitted); http://hampshire.edu/~lasCCS/ David Rager* rager…
  • Cited by 36 (0 self) – Add To MetaCart
  • Adding parallelism capabilities to ACL2  
  • by David L. Rager — 2006 — In Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its applications
  • …ABSTRACT Adding Parallelism Capabilities to ACL2 David L. Rager Department of Computer Sciences…
  • Cited by 3 (2 self) – Add To MetaCart
  • Modern Day LISPs  
  • by David Lawrence Rager, David Lawrence Rager, Robert Boyer, Ip Ray, Jared Davis, David Lawrence Rager — 2008
  • …Copyright by David Lawrence Rager 2008Implementing a Parallelism Library for ACL2 in Modern Day…
  • Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB