首页期刊浏览 2024年11月13日星期三

登录注册

全文

有本地全文

11篇

出版年度

	2018	6篇
	2013	1篇
	2012	1篇
	2010	2篇
	1995	1篇

作者

	Haruhiko Sato	11篇
	Masahito Kurihara	7篇
	ChengCheng Ji	4篇
	Aart Middeldorp	1篇
	Akihisa Sakamoto	1篇

	Chika Kuwabara	1篇
	Haruki Hayashi	1篇
	Hirofumi Kodama	1篇
	Hitoshi Iikura	1篇
	Kazutaka Yoshihashi	1篇
	Kazuya Matsuda	1篇
	Keiko Esaki	1篇
	Kunihiro Hattori	1篇
	Masateru Ohta	1篇
	Masayuki Haramura	1篇
	Meguru Fujii	1篇
	Miki Sakamoto	1篇
	Naonobu Takahira	1篇
	Noritoshi Yoshitsugu	1篇
	Sarah Winkler	1篇
	Shojiro Kadono	1篇
	Takaki Koga	1篇
	Takehisa Kitazawa	1篇
	Takuya Shiraishi	1篇
	Tohru Esaki	1篇
	Toshiro Kozono	1篇
	Yoshiaki Watanabe	1篇
	Yoshitaka Shiba	1篇
	Yoshiyuki Ono	1篇

来源期刊

	Lecture Notes in Engineering and Computer Science	6篇
	Advances in Physical Education	1篇
	Chemical and Pharmaceutical Bulletin	1篇
	Journal of PHYSIOLOGICAL ANTHROPOLOGY and Applied Human Science	1篇
	Journal of Sports Science and Medicine	1篇

LIPIcs : Leibniz International Proceedings in Informatics

1篇

学科主题

	计算技术、计算机技术	7篇
	人类学	1篇
	体育	1篇
	体育教育	1篇

语种

	英文	10篇
	日文	1篇

国别/地区

	香港	6篇
	日本	2篇
	德国	1篇
	美国	1篇

检索条件:"( ( 高级检索(( ((AU:(("Haruhiko Sato")))) )) ) )"

共 11 条记录

排序：全选导出：

1.Muscle Activity Response to External Moment During Single-Leg Drop Landing in Young Basketball Players: The Importance of Biceps Femoris in Reducing Internal Rotation of Knee During Landing

作　　者：Meguru Fujii ;Meguru Fujii ;Haruhiko Sato 等

出　　处：Journal of Sports Science and Medicine. 2012 ;11(2):255-259.

出版社：University of Uludag

文章 ID：253500092

文章详细全文下载
2.The Relationship between the Movement Patterns of Rising from a Supine Position to an Erect Stance and Physical Functions in Healthy Children

作　　者：Chika Kuwabara ;Yoshitaka Shiba ;Miki Sakamoto 等

出　　处：Advances in Physical Education. 2013 ;3(2):92-97.doi:10.4236/ape.2013.32016

出版社：Scientific Research Publishing

文章 ID：87876853

文章详细全文下载
3.Design and Synthesis of Peptidomimetic Factor VIIa Inhibitors

作　　者：Takuya Shiraishi ;Shojiro Kadono ;Masayuki Haramura 等

出　　处：Chemical and Pharmaceutical Bulletin. 2010 ;58(1):38-44.doi:10.1248/cpb.58.38

出版社：The Pharmaceutical Society of Japan

文章 ID：103856564

文章详细全文下载
4.Automated Proof and Discovery of Inductive Theorems with Rewriting Induction over Multi-Context Reasoning Systems: State-of-the-Art Technologies and Perspectives

作　　者：Masahito Kurihara ;Haruhiko Sato ;ChengCheng Ji

出　　处：Lecture Notes in Engineering and Computer Science. 2018 ;2231&2232:149-154.

出版社：Newswood and International Association of Engineers

文章 ID：243042493

文章详细全文下载
5.On Usefulness of Syntactically Complex Lemmas in Theory Exploration for Inductive Theorems

作　　者：Haruhiko Sato ;Masahito Kurihara

出　　处：Lecture Notes in Engineering and Computer Science. 2018 ;2233&2234:489-492.

出版社：Newswood and International Association of Engineers

文章 ID：243042675

文章详细全文下载
6.Automated Proof and Discovery of Inductive Theorems with Rewriting Induction over Multi-Context Reasoning Systems: State-of-the-Art Technologies and Perspectives

作　　者：Masahito Kurihara ;Haruhiko Sato ;ChengCheng Ji

出　　处：Lecture Notes in Engineering and Computer Science. 2018 ;2237&2238:149-154.

出版社：Newswood and International Association of Engineers

文章 ID：243042958

文章详细全文下载
7.Automated Proof and Discovery of Inductive Theorems with Rewriting Induction over Multi-Context Reasoning Systems: State-of-the-Art Technologies and Perspectives

作　　者：Masahito Kurihara ;Haruhiko Sato ;ChengCheng Ji

出　　处：Lecture Notes in Engineering and Computer Science. 2018 ;2231&2232:149-154.

出版社：Newswood and International Association of Engineers

文章 ID：243753715

文章详细全文下载
8.On Usefulness of Syntactically Complex Lemmas in Theory Exploration for Inductive Theorems

作　　者：Haruhiko Sato ;Masahito Kurihara

出　　处：Lecture Notes in Engineering and Computer Science. 2018 ;2233&2234:489-492.

出版社：Newswood and International Association of Engineers

文章 ID：243753950

文章详细全文下载
9.Automated Proof and Discovery of Inductive Theorems with Rewriting Induction over Multi-Context Reasoning Systems: State-of-the-Art Technologies and Perspectives

作　　者：Masahito Kurihara ;Haruhiko Sato ;ChengCheng Ji

出　　处：Lecture Notes in Engineering and Computer Science. 2018 ;2237&2238:149-154.

出版社：Newswood and International Association of Engineers

文章 ID：243754233

文章详细全文下载
10.Optimizing mkbTT

作　　者：Sarah Winkler ;Haruhiko Sato ;Aart Middeldorp 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;6:373-384.doi:10.4230/LIPIcs.RTA.2010.373

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845710

文章详细全文下载

1 2 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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