SpringerLink电子期刊(6)ACS电子期刊(2)
在“SpringerLink电子期刊”中，命中：6条，耗时：0.0139952 秒

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

1. Preorders on Monads and Coalgebraic Simulations
刊名：Lecture Notes in Computer Science
出版年：2013
2.Categorical Descriptional Composition
刊名：Lecture Notes in Computer Science
出版年：2010
3.Attribute Grammars and Categorical Semantics
刊名：Lecture Notes in Computer Science
出版年：2008
4.A Characterisation of Lambda Definability with Sums Via ???-Closure Operators
刊名：Lecture Notes in Computer Science
出版年：2008
5.A Semantic Formulation of -Lifting and Logical Predicate
刊名：Lecture Notes in Computer Science
出版年：2005
6.A Semantic Formulation of -Lifting and Logical Predicate
刊名：Lecture Notes in Computer Science
出版年：2005
1
按检索点细分(6)
作者(6)
按出版年细分(6)
2013年(1)
2010年(1)
2008年(2)
2005年(2)
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.