首页期刊浏览 2025年02月20日星期四

登录注册

全文

有本地全文

13篇

出版年度

	2018	6篇
	2014	1篇
	2010	1篇
	2006	2篇
	2005	1篇

	2004	1篇
	2003	1篇

作者

	Masahito Kurihara	11篇
	Haruhiko Sato	7篇
	ChengCheng Ji	4篇
	Masahito KURIHARA	2篇
	Tamotsu MITAMURA	2篇

	Aart Middeldorp	1篇
	Issei Yokoyama	1篇
	Kenji Araki	1篇
	Masataka Mizusawa	1篇
	Michal Ptaszynski	1篇
	Rafal Rzepka	1篇
	Sarah Winkler	1篇
	Satoshi Oyama	1篇
	Taka'aki WAKABAYASHI	1篇
	Takafumi OOHORI	1篇
	Yasuhiro SUDO	1篇
	Yasuhiro Sudo	1篇

来源期刊

	Lecture Notes in Engineering and Computer Science	6篇
	人工知能学会論文誌	3篇
	知能と情報	2篇
	Information and Media Technologies	1篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇

学科主题

	计算技术、计算机技术	12篇
	信息与知识传播	1篇

语种

	英文	7篇
	日文	6篇

国别/地区

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

检索条件:"( ( 高级检索(( ((AU:(("Masahito Kurihara")))) )) ) )"

共 13 条记录

排序：全选导出：

1.Completion for Multiple Path Orderings Based on Precedence and Binary Decision Diagrams

作　　者：Issei Yokoyama ;Masahito Kurihara

出　　处：人工知能学会論文誌. 2004 ;19(6):472-482.doi:10.1527/tjsai.19.472

出版社：The Japanese Society for Artificial Intelligence

文章 ID：105301061

文章详细全文下载
2.Combining Systematic and Local Search for Approximately Solving Fuzzy Constraint Satisfaction Problems

作　　者：Yasuhiro Sudo ;Masahito Kurihara

出　　处：人工知能学会論文誌. 2006 ;21(1):20-27.doi:10.1527/tjsai.21.20

出版社：The Japanese Society for Artificial Intelligence

文章 ID：105301121

文章详细全文下载
3.Hardness Measures for Maze Problems Parameterized by Obstacle Ratio and Performance Analysis of Real-Time Search Algorithms

作　　者：Masataka Mizusawa ;Masahito Kurihara

出　　处：人工知能学会論文誌. 2006 ;21(3):266-275.doi:10.1527/tjsai.21.266

出版社：The Japanese Society for Artificial Intelligence

文章 ID：105301147

文章详细全文下载
4.A Survey on Large Scale Corpora and Emotion Corpora

作　　者：Michal Ptaszynski ;Rafal Rzepka ;Satoshi Oyama 等

出　　处：Information and Media Technologies. 2014 ;9(4):429-445.doi:10.11185/imt.9.429

出版社：Information and Media Technologies Editorial Board

文章 ID：108492774

文章详细全文下载
5.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

文章详细全文下载
6.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

文章详细全文下载
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 ;2237&2238:149-154.

出版社：Newswood and International Association of Engineers

文章 ID：243042958

文章详细全文下载
8.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

文章详细全文下载
9.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

文章详细全文下载
10.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

文章详细全文下载

1 2 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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