检索条件： Computability and logic = ( 题名 )

检索结果共有4条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Computability and logic.
责任者 Burgess, John P.,,Jeffrey, Richard C.

出版信息 Cambridge University Press, ,2007.

ISBN 978-0-521-87752-7 (hbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Burgess, John P.,,Jeffrey, Richard C..Computability and logic..Cambridge University Press,,2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/280614
复制引文到剪贴板

Computability and logic.

Burgess, John P.,,Jeffrey, Richard C..Cambridge University Press,,2007..
2 图书 Computability and logic =: 可计算性与数理逻辑 /
责任者 Burgess, John P.,,Jeffrey, Richard C.

出版信息 Pub. House of Electronic Industry, ,2003.

ISBN 7-5053-8828-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Burgess, John P.,,Jeffrey, Richard C..Computability and logic =: 可计算性与数理逻辑 /.Pub. House of Electronic Industry,,2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/666
复制引文到剪贴板

Computability and logic =: 可计算性与数理逻辑 /

Burgess, John P.,,Jeffrey, Richard C..Pub. House of Electronic Industry,,2003..
3 图书 Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings /
责任者 Cooper, S. B.,L?we, Benedikt.,Sorbi, Andrea,

出版信息 Springer, ,c2007.

ISBN 978-3-540-73000-2 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cooper, S. B.,L?we, Benedikt.,Sorbi, Andrea,.Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/260952
复制引文到剪贴板

Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings /

Cooper, S. B.,L?we, Benedikt.,Sorbi, Andrea,.Springer,,c2007..
4 图书可计算性与数理逻辑
责任者 G. S. 布勒斯,J. P. 布格斯,R. C. 杰弗里

出版信息电子工业出版社 ,2005

ISBN 7-121-00779-7

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
G. S. 布勒斯,J. P. 布格斯,R. C. 杰弗里.可计算性与数理逻辑.电子工业出版社,2005.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/221090
复制引文到剪贴板

可计算性与数理逻辑

G. S. 布勒斯,J. P. 布格斯,R. C. 杰弗里.电子工业出版社,2005.

通借成功!

预约成功!