计算障碍的逻辑方法,第二届欧洲可计算性会议,2006年CiE,英国斯旺西,2006年6月30日至7月5日,会议记录

阿诺德·贝克曼乌尔里希·伯杰Benedikt Löwe公司约翰·V·塔克,编辑,计算障碍的逻辑方法,第二届欧洲可计算性会议,2006年CiE,英国斯旺西,2006年6月30日至7月5日,会议记录.第3988卷,共页计算机科学课堂讲稿、施普林格、,2006

会议:国际原子能委员会

编辑

阿诺德·贝克曼

这位作者尚未确定身份。在谷歌中查找“Arnold Beckmann”

乌尔里希·伯杰

这位作者尚未确定身份。在谷歌上查找“乌尔里希·伯杰”

Benedikt Löwe公司

这位作者尚未确定身份。在谷歌中查找“Benedikt Löwe”

约翰·V·塔克

这位作者尚未确定身份。在谷歌上查找“约翰·V·塔克”