检索条件： Mathematical logic and formal systems ( 题名 )

检索结果共有32条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Mathematical logic and formal systems
责任者 Akcantare Luis Paulo de

出版信息 Marcel dekker ,1985

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Akcantare Luis Paulo de.Mathematical logic and formal systems.Marcel dekker,1985.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Mathematical logic and formal systems

Akcantare Luis Paulo de.Marcel dekker,1985.
2 图书 Formal number theory and computability：a workbook
责任者 A. Fisher

出版信息 Clarendon Pr. ,1982

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
A. Fisher.Formal number theory and computability：a workbook.Clarendon Pr.,1982.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal number theory and computability：a workbook

A. Fisher.Clarendon Pr.,1982.
3 图书 Formal logic, or, The calculus of inference, Neceffary and probable /
责任者 Augustus De Morgan.

出版信息 Cambridge University Press, ,2014.

ISBN 9781108070782

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Augustus De Morgan..Formal logic, or, The calculus of inference, Neceffary and probable /.Cambridge University Press,,2014..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal logic, or, The calculus of inference, Neceffary and probable /

Augustus De Morgan..Cambridge University Press,,2014..
4 图书 Putting logic in its place : formal constraints on rational belief /
责任者

出版信息

ISBN 2004023697

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Putting logic in its place : formal constraints on rational belief /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Putting logic in its place : formal constraints on rational belief /

.,.
5 图书 Formal methods : foundations and applications : 17th Brazilian Symposium, SBMF 2014, Macei, AL, Brazil, September 29-October 1, 2014, Proceedings /
责任者 edited by Christiano Braga, Narciso Mart-Oliet.

出版信息

ISBN 9783319150741 (pbk.) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
edited by Christiano Braga, Narciso Mart-Oliet..Formal methods : foundations and applications : 17th Brazilian Symposium, SBMF 2014, Macei, AL, Brazil, September 29-October 1, 2014, Proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal methods : foundations and applications : 17th Brazilian Symposium, SBMF 2014, Macei, AL, Brazil, September 29-October 1, 2014, Proceedings /

edited by Christiano Braga, Narciso Mart-Oliet..,.
6 图书 Grammatical inference : learning automata and grammars /
责任者 Colin de la Higuera.

出版信息 Cambridge University Press, ,2010.

ISBN 978-0-5217-6316-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Colin de la Higuera..Grammatical inference : learning automata and grammars /.Cambridge University Press,,2010..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Grammatical inference : learning automata and grammars /

Colin de la Higuera..Cambridge University Press,,2010..
7 图书 Formal concept analysis : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, proceedings /
责任者

出版信息

ISBN 9783319195445

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Formal concept analysis : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal concept analysis : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, proceedings /

.,.
8 图书 Logic in computer science : modelling and reasoning about systems /
责任者 Michael Huth, Mark Ryan.

出版信息

ISBN 9780521543101 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Michael Huth, Mark Ryan..Logic in computer science : modelling and reasoning about systems /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic in computer science : modelling and reasoning about systems /

Michael Huth, Mark Ryan..,.
9 图书 Graph structure and monadic second-order logic : a language-theoretic approach /
责任者 Bruno Courcelle, Joost Engelfriet.

出版信息 Cambridge University Press, ,2012.

ISBN 978-0-5218-9833-1

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bruno Courcelle, Joost Engelfriet..Graph structure and monadic second-order logic : a language-theoretic approach /.Cambridge University Press,,2012..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Graph structure and monadic second-order logic : a language-theoretic approach /

Bruno Courcelle, Joost Engelfriet..Cambridge University Press,,2012..
10 图书 Computational logic in multi-agent systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014 : proceedings /
责任者

出版信息

ISBN 9783319097633

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Computational logic in multi-agent systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014 : proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computational logic in multi-agent systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014 : proceedings /

.,.

通借成功!

预约成功!