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

检索结果共有38条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 The logic of information structures
责任者 Heinrich Wansing

出版信息 Springer ,1993

ISBN

馆藏信息

图书信息

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

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

The logic of information structures

Heinrich Wansing.Springer,1993.
2 图书 Logical dynamics of information /
责任者 Johan van Benthem.

出版信息 Cambridge University Press, ,2014.

ISBN 978-1-107-41717-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Johan van Benthem..Logical dynamics of information /.Cambridge University Press,,2014..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logical dynamics of information /

Johan van Benthem..Cambridge University Press,,2014..
3 图书 Foundations of knowledge base management：Contributions from logic, databases and artificial intelligence applications
责任者 Joachim W. Schmidt,Costantino Thanos

出版信息 Springer-Verlag ,1989

ISBN 7-5062-0971-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Joachim W. Schmidt,Costantino Thanos.Foundations of knowledge base management：Contributions from logic, databases and artificial intelligence applications.Springer-Verlag,1989.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Foundations of knowledge base management：Contributions from logic, databases and artificial intelligence applications

Joachim W. Schmidt,Costantino Thanos.Springer-Verlag,1989.
4 图书 The logic system of concept graphs with negation : and its relationship to predicate logic /
责任者

出版信息

ISBN 2003065504

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.The logic system of concept graphs with negation : and its relationship to predicate logic /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

The logic system of concept graphs with negation : and its relationship to predicate logic /

.,.
5 图书 Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici in the occasion of his 60th birthday /
责任者

出版信息

ISBN 2007937644

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici in the occasion of his 60th birthday /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici in the occasion of his 60th birthday /

.,.
6 图书 Fuzzy logic with engineering applications /
责任者

出版信息

ISBN 2004001167

馆藏信息

图书信息

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

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

Fuzzy logic with engineering applications /

.,.
7 图书 Dependence logic : a new approach to independence friendly logic /
责任者 Jouko V??n?nen.

出版信息 Cambridge University Press, ,2007.

ISBN 978-0-5217-0015-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Jouko V??n?nen..Dependence logic : a new approach to independence friendly logic /.Cambridge University Press,,2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Dependence logic : a new approach to independence friendly logic /

Jouko V??n?nen..Cambridge University Press,,2007..
8 图书 Mathematical logic /
责任者 Hodges, Wilfrid.

出版信息 Oxford University Press, ,2007.

ISBN 9780199215621 (pbk. : alk. paper) :

馆藏信息

图书信息

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

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

Mathematical logic /

Hodges, Wilfrid..Oxford University Press,,2007..
9 图书 Computational logic and human thinking : how to be artificially intelligent /
责任者 Robert Kowalski.

出版信息 Cambridge University Press, ,2011.

ISBN 978-0-5211-2336-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Robert Kowalski..Computational logic and human thinking : how to be artificially intelligent /.Cambridge University Press,,2011..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computational logic and human thinking : how to be artificially intelligent /

Robert Kowalski..Cambridge University Press,,2011..
10 图书 Knowledge representation for health care : 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014 : revised selected papers /
责任者

出版信息

ISBN 9783319132808 (paper) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Knowledge representation for health care : 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014 : revised selected papers /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Knowledge representation for health care : 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014 : revised selected papers /

.,.

通借成功!

预约成功!