检索条件： Logic and its applications : ( 题名 )

检索结果共有3条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Meeting on Mathematical Logic and Its Applications(1987 : Kyoto)：Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto,1987
责任者 J.]]T. A.]]T. Shinoda]]Slaman]]Tugue,Meeting on Mathematical Logic and Its Applications

出版信息 Springer-Verlag ,1989

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
J.]]T. A.]]T. Shinoda]]Slaman]]Tugue,Meeting on Mathematical Logic and Its Applications.Meeting on Mathematical Logic and Its Applications(1987 : Kyoto)：Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto,1987.Springer-Verlag,1989.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Meeting on Mathematical Logic and Its Applications(1987 : Kyoto)：Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto,1987

J.]]T. A.]]T. Shinoda]]Slaman]]Tugue,Meeting on Mathematical Logic and Its Applications.Springer-Verlag,1989.
2 图书 Logic and its applications : Third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings /
责任者 Ramanujam, R.,Sarukkai, Sundar.

出版信息 Springer, ,c2009.

ISBN 9783540927006 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Ramanujam, R.,Sarukkai, Sundar..Logic and its applications : Third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings /.Springer,,c2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic and its applications : Third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings /

Ramanujam, R.,Sarukkai, Sundar..Springer,,c2009..
3 图书 Rewriting logic and its applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
责任者 Escobar, Santiago.

出版信息

ISBN 9783319129037

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Escobar, Santiago..Rewriting logic and its applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Rewriting logic and its applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers /

Escobar, Santiago..,.

通借成功!

预约成功!