搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： P.F. Hoogendijk , R.C. Backhouse , Jaap van der Woude , T.S. Voermans , C.J. Aarts
DOI:
关键词: Relational calculus 、 Relational theory 、 Computer science 、 Algebra 、 Codd's theorem
摘要:
暂无可下载资源，当前可以选择系统获取到有开放资源时 通知我或者直接发起求助 文献求助
,2008, 引用: 0
,2008, 引用: 2
,2004, 引用: 20
Computing science notes,1991, 引用: 6
International Workshop on Programming Languages for Mechanized Mathematics Systems,2009, 引用: 0
NATO ASI PDC,1993, 引用: 6
mathematics of program construction,2002, 引用: 3
,1992, 引用: 7
,2015, 引用: 0
glasgow workshop on functional programming,1992, 引用: 5
