MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Helen Lowe" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 16 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Proof Planning and Industrial Configuration  
  • by Michal Pechoucek, H. Lowe, Helen Lowe, A. Bundy — 1996 — Proceedings of the Fifth Practical Application of Prolog
  • …@(email omitted);} Helen Lowe Napier University - Department of Computer Science, Craiglockhart campus Edinburgh, United…
  • Cited by 1 (1 self) – Add To MetaCart
  • Evaluation of a Semi-Automated Theorem Prover  
  • by Helen Lowe Department, Helen Lowe — 1997 — Proceedings of the the Third International Conference on User Interfaces to Theorem Provers
  • …Evaluation of a semi-automated theorem prover Helen Lowe Department of Computing, Napier…
  • Add To MetaCart
  • Tool Support for Formal Methods  
  • by Helen Lowe Department, Helen Lowe
  • …Tool support for formal methods Helen Lowe Department of Computing, Napier University, Edinburgh…
  • Add To MetaCart
  • System Description CyNTHIA  
  • by Jon Whittle, Alan Bundy, Richard Boulton, Helen Lowe
  • …System Description: C Y NTHIA Jon Whittle 1? , Alan Bundy 1 , Richard Boulton 1 , and Helen…
  • Add To MetaCart
  • Proof Planning & Configuration  
  • by Helen Lowe, Michal Pechoucek, Alan Bundy — 1996 — in: Proceedings of the Ninth
  • …Proof Planning & Configuration Helen Lowe Department of Computer Studies, Napier University…
  • Cited by 3 (3 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB