检索条件： The logic of programming ( 题名 )

检索结果共有526条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 The logic of programming
责任者 Eric C. R. Hehner

出版信息 Prentice/Hall international ,1984

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Eric C. R. Hehner.The logic of programming.Prentice/Hall international,1984.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/24707;jsessionid=DDBA3A3BBE7FE9C67C599F8D1BC95996
复制引文到剪贴板

The logic of programming

Eric C. R. Hehner.Prentice/Hall international,1984.
2 图书 Conference on the Logic of Programs(1985 : Brooklyn College)：Logics of programs : proceedings
责任者 Conference on the Logic of Programs

出版信息 Springer-Verlag ,1985

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Conference on the Logic of Programs.Conference on the Logic of Programs(1985 : Brooklyn College)：Logics of programs : proceedings.Springer-Verlag,1985.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/29361;jsessionid=DDBA3A3BBE7FE9C67C599F8D1BC95996
复制引文到剪贴板

Conference on the Logic of Programs(1985 : Brooklyn College)：Logics of programs : proceedings

Conference on the Logic of Programs.Springer-Verlag,1985.
3 图书 Logic Symposion(1980 : Greece)：Patras logic symposion, proceedings of the Logic Symposion
责任者 G. Metakides,Logic Symposion

出版信息 NHPC ,1982

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
G. Metakides,Logic Symposion.Logic Symposion(1980 : Greece)：Patras logic symposion, proceedings of the Logic Symposion.NHPC,1982.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/25184;jsessionid=DDBA3A3BBE7FE9C67C599F8D1BC95996
复制引文到剪贴板

Logic Symposion(1980 : Greece)：Patras logic symposion, proceedings of the Logic Symposion

G. Metakides,Logic Symposion.NHPC,1982.
4 图书 Logic Colloquium (1982: Florence)：Logic Colloquium`82: proceedings
责任者 Logic Colloquium

出版信息 North-Holland ,1984

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Logic Colloquium.Logic Colloquium (1982: Florence)：Logic Colloquium`82: proceedings.North-Holland,1984.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/23287;jsessionid=DDBA3A3BBE7FE9C67C599F8D1BC95996
复制引文到剪贴板

Logic Colloquium (1982: Florence)：Logic Colloquium`82: proceedings

Logic Colloquium.North-Holland,1984.
5 图书 Southeast Asian Conference on Logic(1981: Singapore)：Proceedings of the Logic Conference
责任者 C. -T.]]M. J. Chong]]Wicks,Southeast Asian Conference on Logic

出版信息 NJPC ,1983

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
C. -T.]]M. J. Chong]]Wicks,Southeast Asian Conference on Logic.Southeast Asian Conference on Logic(1981: Singapore)：Proceedings of the Logic Conference.NJPC,1983.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/22603;jsessionid=DDBA3A3BBE7FE9C67C599F8D1BC95996
复制引文到剪贴板

Southeast Asian Conference on Logic(1981: Singapore)：Proceedings of the Logic Conference

C. -T.]]M. J. Chong]]Wicks,Southeast Asian Conference on Logic.NJPC,1983.
6 图书 International Symposium on Logical Foundation of Computer Science(2nd : 1992 : Tver)：Logical foundations of computer Science
责任者 International Symposoium on Logical Foundation of Computer Science

出版信息 Springer ,1992

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Symposoium on Logical Foundation of Computer Science.International Symposium on Logical Foundation of Computer Science(2nd : 1992 : Tver)：Logical foundations of computer Science.Springer,1992.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/28749;jsessionid=DDBA3A3BBE7FE9C67C599F8D1BC95996
复制引文到剪贴板

International Symposium on Logical Foundation of Computer Science(2nd : 1992 : Tver)：Logical foundations of computer Science

International Symposoium on Logical Foundation of Computer Science.Springer,1992.
7 图书 International Workshop on Extensions of Logic programming：Extensions of logic programming
责任者 J. Sickmann,International Workshop on Extensions of Logic programming

出版信息 Springer ,1991

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
J. Sickmann,International Workshop on Extensions of Logic programming.International Workshop on Extensions of Logic programming：Extensions of logic programming.Springer,1991.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/30397;jsessionid=DDBA3A3BBE7FE9C67C599F8D1BC95996
复制引文到剪贴板

International Workshop on Extensions of Logic programming：Extensions of logic programming

J. Sickmann,International Workshop on Extensions of Logic programming.Springer,1991.
8 图书 Logics of Programs Workshop(1983 : Pittsburgh)：Logics of programs, Workshop, June 6-8, 1983
责任者 Logics of Programs Workshop

出版信息 Springer ,1984

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Logics of Programs Workshop.Logics of Programs Workshop(1983 : Pittsburgh)：Logics of programs, Workshop, June 6-8, 1983.Springer,1984.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/29956;jsessionid=DDBA3A3BBE7FE9C67C599F8D1BC95996
复制引文到剪贴板

Logics of Programs Workshop(1983 : Pittsburgh)：Logics of programs, Workshop, June 6-8, 1983

Logics of Programs Workshop.Springer,1984.
9 图书 Handbook of Logic Circuits
责任者 John D.Lenk

出版信息 Reston Publishing ,1972-01-01

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
John D.Lenk.Handbook of Logic Circuits.Reston Publishing,1972-01-01.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/314833;jsessionid=DDBA3A3BBE7FE9C67C599F8D1BC95996
复制引文到剪贴板

Handbook of Logic Circuits

John D.Lenk.Reston Publishing,1972-01-01.
10 图书 The Logic of Quantum Mechanics
责任者 beltrametti

出版信息

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
beltrametti.The Logic of Quantum Mechanics.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/313777;jsessionid=DDBA3A3BBE7FE9C67C599F8D1BC95996
复制引文到剪贴板

The Logic of Quantum Mechanics

beltrametti.,.

通借成功!

预约成功!