Efficient resource management for linear logic proof search

By Cervesato I.   Hodas J.S.   Pfenning F.  

Theoretical Computer Science, Vol. 232, Iss. 1, 2000-02 ,pp. : 133-163

Elsevier

Access to resources Recommend Favorite

A Comparative Review of Literature Online and Literature Resource Center

By Graves Stephanie  

The Charleston Advisor, Vol. 7, Iss. 1, 2005-07 ,pp. : 10-10

The Charleston Company

Access to resources Recommend Favorite

Online IR system evaluation: online databases versus Web search engines

By Xie Hong (Iris)  

Online Information Review, Vol. 28, Iss. 3, 2004-03 ,pp. : 211-219

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Determinants of online information search: a critical review and assessment

By Kulviwat Songpol   Guo Chiquan   Engchanil Napatsawan  

Internet Research: Electronic Networking Applications and Policy, Vol. 14, Iss. 3, 2004-07 ,pp. : 245-253

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Online Travel Information Search Modes: An Exploratory Study

By Beldona Srikanth  

Information Technology in Hospitality, Vol. 5, Iss. 1, 2008-03 ,pp. : 25-33

Cognizant Communication Corporation

Access to resources Recommend Favorite