“国际逻辑会议LOGIC2009”会议综述
【摘要】:正由贵州大学计算机科学与信息学院主办的"国际逻辑会议LOGIC2009"于2009年9月22日在贵州大学南校区南园接待中心隆重召开。20多位逻辑学家、数学家和计算机科学家参加了会议,他们分别来自贵州大学、贵州民族学院、新
|
|
|
|
1 |
李发耀;;牂柯江夜郎新考[A];夜郎研究——’99夜郎学术研讨会论文集[C];1999年 |
2 |
;编后记[A];唐代文学研究(第八辑)——中国唐代文学学会第九届年会暨国际学术讨论会论文集[C];1998年 |
3 |
史研;;第10届国际逻辑、方法论和科学哲学大会[A];1995年逻辑研究专辑[C];1995年 |
4 |
杨子京;;从开放的角度看悖论问题[A];1996年逻辑研究专辑[C];1996年 |
5 |
;书讯[A];1998年逻辑研究专辑[C];1998年 |
6 |
吴大华;;序[A];首届贵州法学论坛文集[C];2000年 |
7 |
胡浩;郭泽深;;现代逻辑学术研讨会召开[A];2000年逻辑研究专辑[C];2000年 |
8 |
韩继业;俞建;;序言[A];2001年全国数学规划及运筹研讨会论文集[C];2001年 |
9 |
罗守成;唐国春;;二维集装箱问题的一个启发式算法[A];2001年全国数学规划及运筹研讨会论文集[C];2001年 |
10 |
李泽民;;序线性空间中向量极值问题的最优性条件[A];2001年全国数学规划及运筹研讨会论文集[C];2001年 |
|