检索条件： Proof theory in computer science : ( 任意词 )

检索结果共有448条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /
责任者 Kahle, Reinhard,,Schroeder-Heister, Peter Joseph,,St鑑rk, Robert F.,

出版信息 Springer, ,2001.

ISBN 3-540-42752-X (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Kahle, Reinhard,,Schroeder-Heister, Peter Joseph,,St鑑rk, Robert F.,.Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /.Springer,,2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /

Kahle, Reinhard,,Schroeder-Heister, Peter Joseph,,St鑑rk, Robert F.,.Springer,,2001..
2 图书 Biennial Summer Conference on Category Theory and Computer Science(4th : 1991 : France)：Category theory and Computer science
责任者 Biennial Summer Conference on Category Theory and Computer Science

出版信息 Springer ,1991

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Biennial Summer Conference on Category Theory and Computer Science.Biennial Summer Conference on Category Theory and Computer Science(4th : 1991 : France)：Category theory and Computer science.Springer,1991.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Biennial Summer Conference on Category Theory and Computer Science(4th : 1991 : France)：Category theory and Computer science

Biennial Summer Conference on Category Theory and Computer Science.Springer,1991.
3 图书 Israel Symposium on the Theory of Computer and Systems (1992 : Haifa)：Theory of computing and systems
责任者 ISTCS` 92,Israel Symposium on the Theory of Compute and Systems

出版信息 Springer ,1992

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
ISTCS` 92,Israel Symposium on the Theory of Compute and Systems.Israel Symposium on the Theory of Computer and Systems (1992 : Haifa)：Theory of computing and systems.Springer,1992.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Israel Symposium on the Theory of Computer and Systems (1992 : Haifa)：Theory of computing and systems

ISTCS` 92,Israel Symposium on the Theory of Compute and Systems.Springer,1992.
4 图书 Symposium on Computation Theory(5th : 1984 : Zaborow)：computation theory : symposium
责任者 Symposium on Computation Theory

出版信息 Springer ,1985

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Symposium on Computation Theory.Symposium on Computation Theory(5th : 1984 : Zaborow)：computation theory : symposium.Springer,1985.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Symposium on Computation Theory(5th : 1984 : Zaborow)：computation theory : symposium

Symposium on Computation Theory.Springer,1985.
5 图书 International Conference on Fundamentals of Computation Theory(1985 : Cottbus)：Fundamentals of computation theory : FCT`85
责任者 International Conference on Fundamentals of Computation Theory,FCT`85

出版信息 Springer-Verlag ,1985

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Conference on Fundamentals of Computation Theory,FCT`85.International Conference on Fundamentals of Computation Theory(1985 : Cottbus)：Fundamentals of computation theory : FCT`85.Springer-Verlag,1985.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

International Conference on Fundamentals of Computation Theory(1985 : Cottbus)：Fundamentals of computation theory : FCT`85

International Conference on Fundamentals of Computation Theory,FCT`85.Springer-Verlag,1985.
6 图书 Computational learning theory : 15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8-10, 2002 : proceedings /
责任者 Kivinen, Jyrki,,Sloan, Robert H.

出版信息 Springer, ,c2002.

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

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Kivinen, Jyrki,,Sloan, Robert H..Computational learning theory : 15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8-10, 2002 : proceedings /.Springer,,c2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computational learning theory : 15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8-10, 2002 : proceedings /

Kivinen, Jyrki,,Sloan, Robert H..Springer,,c2002..
7 图书 Structure in Complexity Theory Conference (1986 : Berkeley)：Structure in complexity theory
责任者 A. L. Selman,Structure in Compexity Theory Conference

出版信息 Springer ,1986

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
A. L. Selman,Structure in Compexity Theory Conference.Structure in Complexity Theory Conference (1986 : Berkeley)：Structure in complexity theory.Springer,1986.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Structure in Complexity Theory Conference (1986 : Berkeley)：Structure in complexity theory

A. L. Selman,Structure in Compexity Theory Conference.Springer,1986.
8 图书 International Workshoop on Computer Aided Systems Theory (3rd : 1993 : Las Palmas)：Computer aided systems theory
责任者 International Workshop on Computer Aided Systems Theory,EUROCAST`93

出版信息 Springer ,1993

ISBN 3-540-57601-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Workshop on Computer Aided Systems Theory,EUROCAST`93.International Workshoop on Computer Aided Systems Theory (3rd : 1993 : Las Palmas)：Computer aided systems theory.Springer,1993.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

International Workshoop on Computer Aided Systems Theory (3rd : 1993 : Las Palmas)：Computer aided systems theory

International Workshop on Computer Aided Systems Theory,EUROCAST`93.Springer,1993.
9 图书 Category theory and computer science (19898 : Manchester,U. K. )
责任者 D. H. Pitt,Category theory and computer science

出版信息 Springer ,1989

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
D. H. Pitt,Category theory and computer science.Category theory and computer science (19898 : Manchester,U. K. ).Springer,1989.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Category theory and computer science (19898 : Manchester,U. K. )

D. H. Pitt,Category theory and computer science.Springer,1989.
10 图书 Categery theory and computer science (1987 : Edinburgh, U. K.)
责任者 D. H. Pitt,Category theory and computer science

出版信息 Springer ,1987

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
D. H. Pitt,Category theory and computer science.Categery theory and computer science (1987 : Edinburgh, U. K.).Springer,1987.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Categery theory and computer science (1987 : Edinburgh, U. K.)

D. H. Pitt,Category theory and computer science.Springer,1987.

通借成功!

预约成功!