Showing
1 - 5
results of
5
for search '
'
Skip to content
CAVAL Home
Start Over
我的帐户
退出
登录
语言
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
全文检索
题名
作者
主题
ISBN/ISSN
条码
检索
高级检索
Reset Filters
主题建议:
Recursive programming
Reset Filters
Show filters (1)
主题建议:
Recursive programming
检索结果
在您的搜寻 主题建议
在您的搜寻 主题建议
Recursive programming
Combinatory logic
2
Computer programming
1
Computer programs
1
Electronic digital computers
1
Lambda calculus
1
Programming
1
Programming languages (Electronic computers)
1
Proof theory
1
Semantics
1
Showing
1 - 5
results of
5
for search '
'
, 查询时间: 0.01s
Refine Results
排序
相关性排序
日期递增
日期递增
索书号排序
作者排序
标题
1
图书
载入...
Recursive programming techniques /
由
Burge, William H.
出版 1975
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
2
图书
载入...
Recursive techniques in programming
由
Barron, D. W. (David William), 1935-
出版 1968
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
3
图书
载入...
Recursive program schemes : semantics and proof theory /
由
Roever, W.-P. de
出版 1976
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
4
Thesis
图书
载入...
Combinatory reduction systems /
由
Klop, J. W.
出版 1980
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
5
图书
载入...
Theory of program structures : schemes, semantics, verification /
由
Greibach, Sheila, 1939-
出版 1975
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
检索工具:
得到RSS订阅
–
推荐此搜索
–
保存搜索
Back
Refine Results
出版年
来自:
到:
语言
English
5
主题
Q - Science
5