在“Elsevier电子期刊”中，命中：8条，耗时：0.0119945 秒

在所有数据库中总计命中：27条

3.Preface
刊名：Annals of Pure and Applied Logic
出版年：2005
5.Hilbert's Paradox
刊名：Historia Mathematica
出版年：2002
6.Universes in explicit mathematics
刊名：Annals of Pure and Applied Logic
出版年：2001
7.Formalizing non-termination of recursive programs
刊名：Journal of Logic and Algebraic Programming
出版年：2001
8.Proof-theoretic notions for software maintenance
刊名：Electronic Notes in Theoretical Computer Science
出版年：2001
1
按检索点细分(8)
作者(8)
按出版年细分(8)
2012年(1)
2010年(1)
2005年(1)
2003年(1)
2002年(1)
2001年(3)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via email.