检索条件： Course in logic ( 任意词 )

检索结果共有451条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书逻辑学教程
责任者胡龙彪,,金立

出版信息浙江大学出版社 ,2022

ISBN 978-7-308-22345-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
胡龙彪,,金立.逻辑学教程.浙江大学出版社,2022.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

逻辑学教程

胡龙彪,,金立.浙江大学出版社,2022.
2 图书逻辑学教程
责任者何向东

出版信息高等教育出版社 ,2000

ISBN 7-04-007129-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
何向东.逻辑学教程.高等教育出版社,2000.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

逻辑学教程

何向东.高等教育出版社,2000.
3 图书逻辑学教程
责任者何向东

出版信息高等教育出版社 ,2004

ISBN 7-04-015024-7

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
何向东.逻辑学教程.高等教育出版社,2004.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

逻辑学教程

何向东.高等教育出版社,2004.
4 图书逻辑学教程
责任者何向东

出版信息高等教育出版社 ,2004

ISBN 7-04-015024-7

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
何向东.逻辑学教程.高等教育出版社,2004.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

逻辑学教程

何向东.高等教育出版社,2004.
5 图书 Conditionals in nonmonotonic reasoning and belief revision : considering conditionals as agents /
责任者 Gabriele Kern-Isberner.

出版信息 Springer, ,2001.

ISBN 3-540-42367-2 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Gabriele Kern-Isberner..Conditionals in nonmonotonic reasoning and belief revision : considering conditionals as agents /.Springer,,2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Conditionals in nonmonotonic reasoning and belief revision : considering conditionals as agents /

Gabriele Kern-Isberner..Springer,,2001..
6 图书 International Workshop on Meta-Programming in Logic(3rd : 1992 : Uppsala)：Meta-programming in logic
责任者 International Workshop on Meta-Programming in Logic

出版信息 Springer ,1992

ISBN

馆藏信息

图书信息

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

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

International Workshop on Meta-Programming in Logic(3rd : 1992 : Uppsala)：Meta-programming in logic

International Workshop on Meta-Programming in Logic.Springer,1992.
7 图书 European Workshop on Logics in AI (1990 : Amsterdam)：Logics in AI
责任者 European Workshop on Logics in AI

出版信息 Springer ,1991

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
European Workshop on Logics in AI.European Workshop on Logics in AI (1990 : Amsterdam)：Logics in AI.Springer,1991.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

European Workshop on Logics in AI (1990 : Amsterdam)：Logics in AI

European Workshop on Logics in AI.Springer,1991.
8 图书 Infinity in logic and computation : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, revised selected papers /
责任者 Archibald, Margaret.

出版信息 Springer, ,c2009.

ISBN 9783642030918

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Archibald, Margaret..Infinity in logic and computation : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, revised selected papers /.Springer,,c2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Infinity in logic and computation : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, revised selected papers /

Archibald, Margaret..Springer,,c2009..
9 图书 Argumentation in multi-agent systems : third international workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006 : revised selected and invited papers /
责任者 Maudet, Nicolas.,Parsons, Simon.,Rahwan, Iyad.

出版信息 Springer, ,c2007.

ISBN 978-3-540-75525-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Maudet, Nicolas.,Parsons, Simon.,Rahwan, Iyad..Argumentation in multi-agent systems : third international workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006 : revised selected and invited papers /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Argumentation in multi-agent systems : third international workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006 : revised selected and invited papers /

Maudet, Nicolas.,Parsons, Simon.,Rahwan, Iyad..Springer,,c2007..
10 图书 Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici in the occasion of his 60th birthday /
责任者 Aguzzoli, Stefano.

出版信息 Springer, ,c2007.

ISBN 978-3-540-75938-6

馆藏信息

图书信息

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

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 /

Aguzzoli, Stefano..Springer,,c2007..

通借成功!

预约成功!