HOL Theorem Proving System and Its Applications, 1991., International Workshop on the (1991), pp. 2-3.
Commun. ACM, Vol. 49, No. 7. (July 2006), pp. 27-29.
Commun. ACM, Vol. 44, No. 5. (May 2001), pp. 48-54.
(22 Sep 2008)
Vol. 32, No. 1. (June 2004), pp. 61-72.
Information Retrieval, Vol. 11, No. 3. (1 June 2008), pp. 251-265.
(1997), pp. 281-286.
Information Retrieval, Vol. 11, No. 6. (1 December 2008), pp. 477-497.
Journal of the American Society for Information Science, Vol. 27, No. 3. (1976), pp. 129-146.
No. FIT-TR-1997-04. (October, 1997)
International Economic Review, Vol. 45, No. 1. (2004), pp. 257-282.
Econometrica, Vol. 70, No. 4. (2002), pp. 1659-1673.
(16 October 2000)
(7 Apr 2008)
Physical Review Letters, Vol. 101, No. 1. (2008)
(9 Apr 2008)
IEEE Signal Processing Letters, Vol. 14, No. 12. (December 2007), pp. 1008-1011.
IEEE Transactions on Multimedia, Vol. 9, No. 3. (April 2007), pp. 629-641.
Bioinformatics (Oxford, England) (2 July 2008)
by Yung-Keun K
Kwon, Kwang-Hyun H
Cho
(1976), pp. 562-570.
Journal of Physics: Conference Series, Vol. 36, No. 1. (2006), 98.
Philosophy and Public Affairs, Vol. 7, No. 3. (1978), pp. 187-205.
Proc Natl Acad Sci U S A, Vol. 93, No. 1. (9 January 1996), pp. 13-20.
(6 September 2004)
(8 Jul 2007)
(21 May 2007)
(25 Feb 1999)
(6 Jun 2000)
(12 Feb 1999)
(28 Mar 2001)
(7 Feb 2005)
(14 April 2000)
(10 Dec 2002)
(1 October 2002)
Organization Science, Vol. 14, No. 1. (2003), pp. 91-103.
(7 Sep 1999)
(4 Dec 2007)
(16 Jul 2005)
British Journal for the Philosophy of Science, Vol. 54, No. 1. (March 2003), pp. 27-41.