Announcement 2001 Computer Speech and Language Paper Award

By  

Computer Speech & Language, Vol. 15, Iss. 4, 2001-10 ,pp. : 339-339

Academic Press

Access to resources Recommend Favorite

A hidden Herbrand theorem: combining the object and logic paradigms

By Goguen J.   Malcolm G.   Kemp T.  

Journal of Logic and Algebraic Programming, Vol. 51, Iss. 1, 2002-04 ,pp. : 1-41

Elsevier

Access to resources Recommend Favorite

Explicit versus implicit representations of subsets of the Herbrand universe

By Pichler R.  

Theoretical Computer Science, Vol. 290, Iss. 1, 2003-01 ,pp. : 1021-1056

Elsevier

Access to resources Recommend Favorite

Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem

By Voronkov A.  

Theoretical Computer Science, Vol. 224, Iss. 1, 1999-08 ,pp. : 319-352

Elsevier

Access to resources Recommend Favorite

Mobile internet acceptance in Korea

By Cheong Je Ho   Park Myeong-Cheol  

Internet Research: Electronic Networking Applications and Policy, Vol. 15, Iss. 2, 2005-02 ,pp. : 125-140

Emerald Group Publishing Ltd

Access to resources Recommend Favorite