检索条件： Studies in automatic programming logic ( 题名 )

检索结果共有25条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Studies in automatic programming logic
责任者 Z. Manna,R. Waldinger

出版信息 North-Holland ,1977

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Z. Manna,R. Waldinger.Studies in automatic programming logic.North-Holland,1977.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Studies in automatic programming logic

Z. Manna,R. Waldinger.North-Holland,1977.
2 图书 Logic programming : operational semantics and proof theory /
责任者 James H. Andrews.

出版信息 Cambridge University Press, ,1992.

ISBN 0-521-60754-X

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
James H. Andrews..Logic programming : operational semantics and proof theory /.Cambridge University Press,,1992..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic programming : operational semantics and proof theory /

James H. Andrews..Cambridge University Press,,1992..
3 图书 Computational logic : logic programming and beyond :
责任者 Kakas, Antonis C.,Sadri, Fariba,,Kowalski, Robert.

出版信息 Springer, ,c2002-

ISBN 3-540-43959-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Kakas, Antonis C.,Sadri, Fariba,,Kowalski, Robert..Computational logic : logic programming and beyond :.Springer,,c2002-.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computational logic : logic programming and beyond :

Kakas, Antonis C.,Sadri, Fariba,,Kowalski, Robert..Springer,,c2002-.
4 图书 Computational logic : logic programming and beyond :
责任者 Kakas, Antonis C.,Sadri, Fariba,,Kowalski, Robert.

出版信息 Springer, ,c2002-

ISBN 3-540-43960-9

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Kakas, Antonis C.,Sadri, Fariba,,Kowalski, Robert..Computational logic : logic programming and beyond :.Springer,,c2002-.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computational logic : logic programming and beyond :

Kakas, Antonis C.,Sadri, Fariba,,Kowalski, Robert..Springer,,c2002-.
5 图书 Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /
责任者 Cervesato, Iliano.,Veith, Helmut.,Voronkov, A.

出版信息 Springer, ,c2008.

ISBN 9783540894384 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cervesato, Iliano.,Veith, Helmut.,Voronkov, A..Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /

Cervesato, Iliano.,Veith, Helmut.,Voronkov, A..Springer,,c2008..
6 图书 Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings /
责任者 Dershowitz, Nachum.,Voronkov, A.

出版信息 Springer, ,c2007.

ISBN 978-3-540-75558-6 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Dershowitz, Nachum.,Voronkov, A..Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings /

Dershowitz, Nachum.,Voronkov, A..Springer,,c2007..
7 图书 Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego, Bay, Jamaica, December 2-6, 2005 : proceedings /
责任者 Sutcliffe, Geoff.,Voronkov, A.

出版信息 Springer, ,c2005.

ISBN 3-540-30553-X

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Sutcliffe, Geoff.,Voronkov, A..Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego, Bay, Jamaica, December 2-6, 2005 : proceedings /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego, Bay, Jamaica, December 2-6, 2005 : proceedings /

Sutcliffe, Geoff.,Voronkov, A..Springer,,c2005..
8 图书 Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings /
责任者 Hermann,Miki,Voronkov, A.,(eds.), Andrei Voronkov.

出版信息 Springer, ,c2005.

ISBN 3-540-48281-4 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Hermann,Miki,Voronkov, A.,(eds.), Andrei Voronkov..Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings /

Hermann,Miki,Voronkov, A.,(eds.), Andrei Voronkov..Springer,,c2005..
9 图书 Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings /
责任者 Vardi, Moshe Y.,Voronkov, A.

出版信息 Springer, ,c2003.

ISBN 3-540-20101-7

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Vardi, Moshe Y.,Voronkov, A..Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings /.Springer,,c2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings /

Vardi, Moshe Y.,Voronkov, A..Springer,,c2003..
10 图书 Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings /
责任者 Baas, Matthias.,Voronkov, A.

出版信息 Springer, ,2002.

ISBN 3-540-00010-0 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Baas, Matthias.,Voronkov, A..Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings /.Springer,,2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings /

Baas, Matthias.,Voronkov, A..Springer,,2002..

通借成功!

预约成功!