检索条件： Theorem proving in higher order logics : ( 题名 )

检索结果共有7条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Theorem proving in higher order logics : 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings /
责任者 Ait Mohamed, Otmane.,Mun?oz, Ce?sar.,Tahar, Sofie?ne,

出版信息 Springer, ,c2008.

ISBN 9783540710653

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Ait Mohamed, Otmane.,Mun?oz, Ce?sar.,Tahar, Sofie?ne,.Theorem proving in higher order logics : 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Theorem proving in higher order logics : 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings /

Ait Mohamed, Otmane.,Mun?oz, Ce?sar.,Tahar, Sofie?ne,.Springer,,c2008..
2 图书 Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 : proceedings /
责任者 Schneider, Klaus,,Brandt, Jens,

出版信息 Springer, ,c2007.

ISBN 978-3-540-74590-7 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Schneider, Klaus,,Brandt, Jens,.Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 : proceedings /

Schneider, Klaus,,Brandt, Jens,.Springer,,c2007..
3 图书 Theorem proving in higher order logics : 18th international conference, TPHOLS 2005, Oxford, UK, August 22-25, 2005. proceedings /
责任者 Hurd, Joe.,Melham, Tom.

出版信息 Springer, ,2005.

ISBN 3-540-28372-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Hurd, Joe.,Melham, Tom..Theorem proving in higher order logics : 18th international conference, TPHOLS 2005, Oxford, UK, August 22-25, 2005. proceedings /.Springer,,2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Theorem proving in higher order logics : 18th international conference, TPHOLS 2005, Oxford, UK, August 22-25, 2005. proceedings /

Hurd, Joe.,Melham, Tom..Springer,,2005..
4 图书 Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings /
责任者 Basin, David.,Wolff, Burkhart,

出版信息 Springer, ,2003.

ISBN 3-540-40664-6

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Basin, David.,Wolff, Burkhart,.Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings /.Springer,,2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings /

Basin, David.,Wolff, Burkhart,.Springer,,2003..
5 图书 Theorem proving in higher order logics : 15th international conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings /
责任者 Carre鋘o, Victor A.,,Mu鋘oz, C鈋sar A.,,Tahar, Sofi醗ne,

出版信息 Springer, ,c2002.

ISBN 3-540-44039-9 (pbk. : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Carre鋘o, Victor A.,,Mu鋘oz, C鈋sar A.,,Tahar, Sofi醗ne,.Theorem proving in higher order logics : 15th international conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings /.Springer,,c2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Theorem proving in higher order logics : 15th international conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings /

Carre鋘o, Victor A.,,Mu鋘oz, C鈋sar A.,,Tahar, Sofi醗ne,.Springer,,c2002..
6 图书 Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
责任者 Boulton, Richard J.,,Jackson, Paul B.,

出版信息 Springer, ,c2001.

ISBN 3-540-42525-X (pbk. : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Boulton, Richard J.,,Jackson, Paul B.,.Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /.Springer,,c2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /

Boulton, Richard J.,,Jackson, Paul B.,.Springer,,c2001..
7 图书 Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings /
责任者 Slind, Konrad.,Bunker, Annette.,Gopalakrishnan, Ganesh.

出版信息 Springer, ,c2004.

ISBN 3-540-23017-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Slind, Konrad.,Bunker, Annette.,Gopalakrishnan, Ganesh..Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings /.Springer,,c2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings /

Slind, Konrad.,Bunker, Annette.,Gopalakrishnan, Ganesh..Springer,,c2004..

通借成功!

预约成功!