|
|
|
|
F 4.1 C259 : Caramello, Olivia,; 資訊所圖書室; 
|
2018
|
1
|
|
|
F 4.1 C418 2012 : CPP 2012; 資訊所圖書室; 
|
c2012
|
1
|
|
|
F 4.1 C454 1997 : 資訊所圖書室;
|
1997
|
1
|
|
|
F 4.1 C559 : 資訊所圖書室;
|
2016
|
1
|
|
|
F 4.1 C592 : Clark, David M.,;
資訊所圖書室, 數學所圖書室
;
|
c1998
|
1
|
|
|
F 4.1 C672 : Coecke, Bob,; 資訊所圖書室;
|
2017
|
1
|
|
|
F 4.1 C7383 :
數學所圖書室, 資訊所圖書室
;
|
c1991
|
1
|
|
|
F 4.1 C7383 1993 : Kurt Gödel Colloquium;
資訊所圖書室, 數學所圖書室
;
|
c1993
|
1
|
|
|
F 4.1 C7383 1997 : Kurt Gödel Colloquium;
資訊所圖書室, 數學所圖書室
;
|
c1997
|
1
|
|
|
F 4.1 C756 : Constable, R. L.;
資訊所圖書室, 數學所圖書室
;
|
1982
|
1
|
|
|
F 4.1 C758 : Constantin, P.; 資訊所圖書室;
|
2017
|
1
|
|
|
F 4.1 C7583 : International Colloquium "Constructivity in Mathematics";
數學所圖書室, 資訊所圖書室
;
|
1959
|
1
|
|
|
F 4.1 C7583 1994 :
數學所圖書室, 資訊所圖書室
;
|
c1994
|
1
|
|
|
F 4.1 C7583 1999 :
資訊所圖書室, 數學所圖書室
;
|
2001
|
1
|
|
|
F 4.1 D418 : 資訊所圖書室;
|
c1993
|
1
|
|
|
F 4.1 D418 1994 : International Workshop on Deontic Logic in Computer Science; 資訊所圖書室;
|
c1993
|
1
|
|
|
F 4.1 D418 2004 : International Workshop on Deontic Logic in Computer Science; 資訊所圖書室;
|
c2004
|
1
|
|
|
F 4.1 D418 2006 : International Workshop on Deontic Logic in Computer Science; 資訊所圖書室;
|
c2006
|
1
|
|
|
F 4.1 D418 2008 : International Conference on Deontic Logic in Computer Science; 資訊所圖書室;
|
c2008
|
1
|
|
|
F 4.1 E57 : Engeler, Erwin;
數學所圖書室, 資訊所圖書室
;
|
1973
|
1
|
|
|
F 4.1 E895 1999 : European Summer School in Logic, Language, and Information;
資訊所圖書室, 數學所圖書室
;
|
c1999
|
1
|
|
|
F 4.1 E96 1989 : International Workshop on Extensions of Logic Programming;
數學所圖書室, 資訊所圖書室
;
|
c1991
|
1
|
|
|
F 4.1 E96 1991 : International Workshop on Extensions of Logic Programming;
資訊所圖書室, 數學所圖書室
;
|
c1992
|
1
|
|
|
F 4.1 E96 1992 : International Workshop on Extensions of Logic Programming;
資訊所圖書室, 數學所圖書室
;
|
c1993
|
1
|
|
|
F 4.1 E96 1993
|
|
2
|
|
|
F 4.1 E96 1996 : International Workshop on Extensions of Logic Programming; 資訊所圖書室;
|
c1996
|
1
|
|
|
F 4.1 F2113 1991 : 方明義 (Fang, Ming-Yi); 資訊所圖書室;
|
1990
|
1
|
|
|
F 4.1 F293 2010 : Federated Logic Conference; 資訊所圖書室;
|
2010
|
1
|
|
|
F 4.1 F363 1991 : Fernando, Timothy Pascual; 資訊所圖書室;
|
1991
|
1
|
|
|
F 4.1 F452 1993 : Fiech, Adrian Paul; 資訊所圖書室;
|
1993
|
1
|
|
|
F 4.1 F492 1997 : Finch, William Walter; 資訊所圖書室;
|
1997
|
1
|
|
|
F 4.1 F498 : 資訊所圖書室;
|
2004
|
1
|
|
|
F 4.1 F547 : Fitting, Melvin,;
數學所圖書室, 資訊所圖書室, 歐美所圖書館
;
|
c1983
|
1
|
|
|
F 4.1 F571 : Flach, Peter A;
數學所圖書室, 資訊所圖書室
;
|
c1994
|
1
|
|
|
F 4.1 F599 : Flener, Pierre,; 資訊所圖書室;
|
c1995
|
1
|
|
|
F 4.1 F6743 : Fong, Brendan,;
數學所圖書室, 資訊所圖書室
;
|
2019
|
1
|
|
|
F 4.1 F677 : Font, Josep Maria,; 資訊所圖書室;
|
2016
|
1
|
|
|
F 4.1 F949 1995 : Fu, Kuo-Chang; 資訊所圖書室;
|
1995
|
1
|
|
|
F 4.1 F9967 :
資訊所圖書室, 數學所圖書室
;
|
c1995
|
1
|
|
|
F 4.1 F9967 1995 : International Symposium on Fuzzy Logic; 資訊所圖書室;
|
c1995
|
1
|
|
|
F 4.1 F9967 1997 : 資訊所圖書室;
|
c1997
|
1
|
|
|
F 4.1 F9967 1999 : 資訊所圖書室;
|
c1999
|
1
|
|
|
F 4.1 F9967 2001 : Dortmunder Fuzzy-Tage; 資訊所圖書室;
|
2001
|
1
|
|
|
F 4.1 G211 : Ganter, Bernhard; 資訊所圖書室;
|
c1999
|
1
|
|
|
F 4.1 G6243 : Goldstein, Rebecca,;
數學所圖書室, 資訊所圖書室
;
|
c2005
|
1
|
|
|
F 4.1 G766 1986 :
數學所圖書室, 資訊所圖書室
;
|
c1987
|
1
|
|
|
F 4.1 G883 1993 : Grove, Adam Joseph; 資訊所圖書室;
|
c1993
|
1
|
|
|
F 4.1 G9775 : Gupta, Anil,;
數學所圖書室, 資訊所圖書室, 歐美所圖書館, 人社中心, 傅斯年圖書館
;
|
c1993
|
1
|
|
|
F 4.1 H151 : Hailpern, Brent T.;
數學所圖書室, 資訊所圖書室
;
|
1982
|
1
|
|
|
F 4.1 H154 : Hájek, Petr;
數學所圖書室, 資訊所圖書室
;
|
1992
|
1
|
|
|
