检索条件： Mechanizing mathematical reasoning : ( 题名 )

检索结果共有37条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Mechanizing mathematical reasoning : essays in honor of J?rg H. Siekmann on the occasion of his 60th birthday /
责任者 Siekmann, J?rg H.,Hutter, Dieter.,Stephan, Werner.

出版信息 Springer, ,2005.

ISBN 3-540-25051-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Siekmann, J?rg H.,Hutter, Dieter.,Stephan, Werner..Mechanizing mathematical reasoning : essays in honor of J?rg H. Siekmann on the occasion of his 60th birthday /.Springer,,2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Mechanizing mathematical reasoning : essays in honor of J?rg H. Siekmann on the occasion of his 60th birthday /

Siekmann, J?rg H.,Hutter, Dieter.,Stephan, Werner..Springer,,2005..
2 图书 Reasoning strategies in mathematics /
责任者 Ningamma C. Betsur.

出版信息 Anmol Publications, ,2005.

ISBN 81-261-2260-9

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Ningamma C. Betsur..Reasoning strategies in mathematics /.Anmol Publications,,2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Reasoning strategies in mathematics /

Ningamma C. Betsur..Anmol Publications,,2005..
3 图书 Reasoning about uncertainty /
责任者 Joseph Y. Halpern.

出版信息 MIT Press, ,c2003.

ISBN 0-262-08320-5 (hbk. : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Joseph Y. Halpern..Reasoning about uncertainty /.MIT Press,,c2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Reasoning about uncertainty /

Joseph Y. Halpern..MIT Press,,c2003..
4 图书 Mathematical reasoning workbook for the GED test /
责任者 McGraw-Hill education editors.

出版信息

ISBN 9780071831833 (paperback) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
McGraw-Hill education editors..Mathematical reasoning workbook for the GED test /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Mathematical reasoning workbook for the GED test /

McGraw-Hill education editors..,.
5 图书 Qualitative spatial and temporal reasoning /
责任者 G erard Ligozat.

出版信息 Iste ; ,2012.

ISBN 9781848212527

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
G erard Ligozat..Qualitative spatial and temporal reasoning /.Iste ;,2012..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Qualitative spatial and temporal reasoning /

G erard Ligozat..Iste ;,2012..
6 图书 The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 /
责任者 Paolo Mancosu.

出版信息 Oxford University Press, ,2010.

ISBN 9780198701514

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Paolo Mancosu..The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 /.Oxford University Press,,2010..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 /

Paolo Mancosu..Oxford University Press,,2010..
7 图书 The provenance of pure reason : essays in the philosophy of mathematics and its history /
责任者 William Tait.

出版信息 Oxford University Press, ,c2005.

ISBN 9780195141924 (hbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
William Tait..The provenance of pure reason : essays in the philosophy of mathematics and its history /.Oxford University Press,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

The provenance of pure reason : essays in the philosophy of mathematics and its history /

William Tait..Oxford University Press,,c2005..
8 图书 Combinatorial reasoning : an introduction to the art of counting /
责任者 Webb, William,

出版信息

ISBN 9781118652183 (cloth) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Webb, William,.Combinatorial reasoning : an introduction to the art of counting /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Combinatorial reasoning : an introduction to the art of counting /

Webb, William,.,.
9 图书 The Mathematical analysis of logic : being an essay towards a calculus of deductive reasoning /
责任者 George Boole.

出版信息 Cambridge University Press, ,2009.

ISBN 9781108001014 (pbk)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
George Boole..The Mathematical analysis of logic : being an essay towards a calculus of deductive reasoning /.Cambridge University Press,,2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

The Mathematical analysis of logic : being an essay towards a calculus of deductive reasoning /

George Boole..Cambridge University Press,,2009..
10 图书 Mathematical reasoning : writing and proof /
责任者 Ted Sundstrom.

出版信息 Prentice Hall, ,c2003.

ISBN 0-13-061815-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Ted Sundstrom..Mathematical reasoning : writing and proof /.Prentice Hall,,c2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Mathematical reasoning : writing and proof /

Ted Sundstrom..Prentice Hall,,c2003..

通借成功!

预约成功!