MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "HOL." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3,937 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • HOL  
  • by David Basin, David Basin
  • …HOL David Basin Institut für Informatik Albert-Ludwigs-Universität Freiburg 28.11.02 Computer…
  • Add To MetaCart
  • The HOL System REFERENCE  
  • by unknown authors — 1999
  • …[For hol98 Taupo-1] December 21, 1999 The HOL System REFERENCE …
  • Add To MetaCart
  • The HOL System REFERENCE  
  • by unknown authors — 2000
  • …[For hol98 Taupo-5] October 26, 2000 The HOL System REFERENCE …
  • Add To MetaCart
  • The HOL System REFERENCE  
  • by unknown authors — 2000
  • …[For hol98 Taupo-4] July 31, 2000 The HOL System REFERENCE …
  • Add To MetaCart
  • The HOL System REFERENCE  
  • by unknown authors — 2000
  • … [For hol98 Taupo-5] October 26, 2000 The HOL System REFERENCE …
  • Add To MetaCart
  • The HOL System REFERENCE  
  • by unknown authors — 2001
  • … [For hol98 Taupo-6] February 14, 2001 The HOL System REFERENCE …
  • Add To MetaCart
  • The HOL System REFERENCE  
  • by unknown authors — 1999
  • … [For hol98 Taupo-1] December 17, 1999 The HOL System REFERENCE …
  • Add To MetaCart
  • The HOL System REFERENCE  
  • by unknown authors — 2000
  • …[For hol98 Taupo-2] February 19, 2000 The HOL System REFERENCE …
  • Add To MetaCart
  • The HOL System REFERENCE  
  • by unknown authors — 2001
  • …[For hol98 Taupo-6] February 14, 2001 The HOL System REFERENCE …
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB