首页期刊浏览 2025年02月19日星期三

登录注册

全文

	有本地全文	3篇
	有全文链接	1篇

出版年度

	2019	1篇
	2008	1篇
	2007	1篇
	2002	1篇

作者

	Taha, Azza A.	3篇
	Aly, Salwa M.	2篇
	Daoud, Sameh S.	2篇
	Abou Ghaly, Mahmoud A.	1篇
	AbouGhaly, Mahmoud A.	1篇

	Taha Azza A.	1篇
	亀山幸義	1篇
	佐藤雅彦	1篇

来源期刊

	Journal of Computer Science	3篇
	コンピュータソフトウェア	1篇

学科主题

计算技术、计算机技术

4篇

语种

	英文	3篇
	日文	1篇

国别/地区

	美国	3篇
	日本	1篇

检索条件:"( ( 高级检索(( ((AU:(("Taha, Azza A.")))) )) ) )"

共 4 条记录

排序：全选导出：

1.A Second-Order Context Calculus

作　　者：Taha Azza A. ;佐藤雅彦 ;亀山幸義

出　　处：コンピュータソフトウェア. 2002 ;19(3):158-175.doi:10.11309/jssst.19.158

出版社：Japan Society for Software Science and Technology

文章 ID：104502436

文章详细
2.Semantics of Lazy Evaluation using the Two-Level Grammar

作　　者：AbouGhaly, Mahmoud A. ;Daoud, Sameh S. ;Taha, Azza A. 等

出　　处：Journal of Computer Science. 2008 ;4(1):21-29.doi:10.3844/jcssp.2008.21.29

出版社：Science Publications

文章 ID：77214464

文章详细全文下载
3.Operational Semantics for Lazy Evaluation

作　　者：Abou Ghaly, Mahmoud A. ;Daoud, Sameh S. ;Taha, Azza A. 等

出　　处：Journal of Computer Science. 2007 ;3(8):639-645.doi:10.3844/jcssp.2007.639.645

出版社：Science Publications

文章 ID：77214706

文章详细全文下载
4.ML-Style Multi-Abstraction Calculus with Type Inference Algorithm

作　　者：Taha, Azza A.

出　　处：Journal of Computer Science. 2019 ;15(5):745-757.doi:10.3844/jcssp.2019.745.757

出版社：Science Publications

文章 ID：235610507

文章详细全文下载

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有