MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Anavai Ramesh – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 8 documents found, showing 1 through 8.
ATOM RSS
  • Avoiding Tests for Subsumption +  
  • by Anavai Ramesh Neil, Neil V. Murray — 1994 — Proceedings' of the The Twelfth National Conference on Artificial Intelligence (AAAI-94) Seattle WA,July
  • …Avoiding Tests for Subsumption + Anavai Ramesh Neil V. Murray Inst. for Programming and Logics…
  • Add To MetaCart
  • Anti-Links for Boolean Function Manipulation  
  • by Bernhard Beckert, Reiner Hähnle, D- Karlsruhe, Neil V. Murray, Anavai Ramesh
  • …www.ira.uka.de/hnamei/ Neil V. Murray Anavai Ramesh Institute for Programming & Logics Department…
  • Add To MetaCart
  • On Anti-Links  
  • by Bernhard Beckert, Reiner H, Anavai Ramesh, Neil V. Murray — 1994
  • … Status: RO On Anti-Links + Bernhard Beckert # , Reiner H .. ahnle # , Anavai Ramesh * , and Neil V…
  • Cited by 7 (7 self) – Add To MetaCart
  • On Anti-Links  
  • by Bernhard Beckert Reiner, Reiner H, Anavai Ramesh, Neil V. Murray — 1994
  • … 13:23:23 -0400 From: Anavai G Ramesh Received: (rameshag@localhost) by karp…
  • Add To MetaCart
Help! Showing 1 through 8.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB