|
|
|
|
I 2.3 J54 : Jensen, Finn V.;
Statistics Sci. Lib., Information Sci. Lib.
; 
|
1996
|
1
|
|
|
I 2.3 K18 1995 : Kartha, G. Neelakantan; Information Sci. Lib.;
|
1995
|
1
|
|
|
I 2.3 K33 1993 : Kenison, Paul Edson; Information Sci. Lib.;
|
1993
|
1
|
|
|
I 2.3 K39 : Kern-Isberner, Gabriele; Information Sci. Lib.;
|
2001
|
1
|
|
|
I 2.3 K46 : Kiczales, Gregor; Information Sci. Lib.;
|
c1991
|
1
|
|
|
I 2.3 K65 : Klir, George J.,;
Information Sci. Lib., Mathematics Library
;
|
c1998
|
1
|
|
|
I 2.3 K82 : Konolige, Kurt; Information Sci. Lib.;
|
1986
|
1
|
|
|
I 2.3 K89
|
|
2
|
|
|
I 2.3 K89 2 : Kracht, Marcus;
Mathematics Library, Information Sci. Lib.
;
|
c1999
|
1
|
|
|
I 2.3 K91 : Krause, Paul; Information Sci. Lib.;
|
1993
|
1
|
|
|
I 2.3 K94 : Kruse, Rudolf;
Mathematics Library, Information Sci. Lib.
;
|
1994
|
1
|
|
|
I 2.3 K967 1992 : Kuo, Kienchung; Information Sci. Lib.;
|
c1992
|
1
|
|
|
I 2.3 K97 : Küsters, Ralf; Information Sci. Lib.;
|
2001
|
1
|
|
|
I 2.3 L116 :
Information Sci. Lib., Mathematics Library
;
|
c2000
|
1
|
|
|
I 2.3 L185 1992 : Lai, Kouhua Robert; Information Sci. Lib.;
|
c1992
|
1
|
|
|
I 2.3 L364 : Information Sci. Lib.;
|
c2003
|
1
|
|
|
I 2.3 L414 : Lavrač, Nada; Information Sci. Lib.;
|
c1994
|
1
|
|
|
I 2.3 L482 1986 : Lee, Won Don,; Information Sci. Lib.;
|
1987
|
1
|
|
|
I 2.3 L783 1986 : Liu, Lung-Lung; Information Sci. Lib.;
|
c1986
|
1
|
|
|
I 2.3 L831 1985 : Loganantharaj, Rasiah; Information Sci. Lib.;
|
1985
|
1
|
|
|
I 2.3 L8325 1990 : European Workshop JELIA '90;
Mathematics Library, Information Sci. Lib.
;
|
c1991
|
1
|
|
|
I 2.3 L8325 1992
|
|
2
|
|
|
I 2.3 L8325 1993 : International Conference on Logic Programming and Automated Reasoning;
Information Sci. Lib., Mathematics Library
;
|
c1993
|
1
|
|
|
I 2.3 L8325 1994
|
|
2
|
|
|
I 2.3 L8325 1996 : European Workshop on Logics in Artificial Intelligence; Information Sci. Lib.;
|
1996
|
1
|
|
|
I 2.3 L8325 1998 : European Workshop on Logics in Artificial Intelligence; Information Sci. Lib.;
|
c1998
|
1
|
|
|
I 2.3 L8325 1999 : International Conference on Logic for Programming and Automated Reasoning; Information Sci. Lib.;
|
c1999
|
1
|
|
|
I 2.3 L8325 2 2001 : International Conference on Logic for Programming, Artificial Intelligence, and Reasoning; Information Sci. Lib.;
|
2001
|
1
|
|
|
I 2.3 L8325 2 2002 : International Conference on Logic for Programming, Artificial Intelligence, and Reasoning; Information Sci. Lib.;
|
2002
|
1
|
|
|
I 2.3 L8325 2 2003 : International Conference on Logic for Programming, Artificial Intelligence, and Reasoning; Information Sci. Lib.;
|
2003
|
1
|
|
|
I 2.3 L8325 2 2004 : International Conference on Logic for Programming, Artificial Intelligence, and Reasoning; Information Sci. Lib.;
|
2005
|
1
|
|
|
I 2.3 L8325 2 2005 : International Conference on Logic for Programming, Artificial Intelligence, and Reasoning; Information Sci. Lib.;
|
2005
|
1
|
|
|
I 2.3 L8325 2 2006 : International Conference on Logic for Programming, Artificial Intelligence, and Reasoning; Information Sci. Lib.;
|
2006
|
1
|
|
|
I 2.3 L8325 2 2007 : LPAR 2007; Information Sci. Lib.;
|
c2007
|
1
|
|
|
I 2.3 L8325 2 2008 : International Conference on Logic for Programming, Artificial Intelligence, and Reasoning; Information Sci. Lib.;
|
2008
|
1
|
|
|
I 2.3 L8325 2000
|
|
2
|
|
|
I 2.3 L8325 2002 : European Conference on Logics in Artificial Intelligence; Information Sci. Lib.;
|
2002
|
1
|
|
|
I 2.3 L8325 2004 : European Conference on Logics in Artificial Intelligence; Information Sci. Lib.;
|
2004
|
1
|
|
|
I 2.3 L8325 2006 : European Conference on Logics in Artificial Intelligence; Information Sci. Lib.;
|
2006
|
1
|
|
|
I 2.3 L8325 2008 : European Conference on Logics in Artificial Intelligence; Information Sci. Lib.;
|
2008
|
1
|
|
|
I 2.3 L863 : Lootsma, Freerk A; Information Sci. Lib.;
|
c1997
|
1
|
|
|
I 2.3 L898 : Loveland, Donald W;
Mathematics Library, Information Sci. Lib.
;
|
1978
|
1
|
|
|
I 2.3 M133 1984 : McCune, William Walker; Information Sci. Lib.;
|
1984
|
1
|
|
|
I 2.3 M291 : López de Mantaras, Ramón,; Information Sci. Lib.;
|
1990
|
1
|
|
|
I 2.3 M295 :
Mathematics Library, Information Sci. Lib.
;
|
2003
|
1
|
|
|
I 2.3 M392 : Marx, Maarten;
Mathematics Library, Information Sci. Lib.
;
|
1997
|
1
|
|
|
I 2.3 M3975 : Maslov, S. ︠I︡U.;
Mathematics Library, Information Sci. Lib.
;
|
c1987
|
1
|
|
|
I 2.3 M4785 : McCune, W.; Information Sci. Lib.;
|
1996
|
1
|
|
|
I 2.3 M4785 1996 : Mcguinness, Deborah Louise; Information Sci. Lib.;
|
1996
|
1
|
|
|
I 2.3 M486 : Information Sci. Lib.;
|
2005
|
1
|
|
|
