1.標数2のある体上の代数方程式の求解

作　　者：藤田博征 ;高橋孝一 ;坂井公

出　　处：コンピュータソフトウェア. 2001 ;18(3):355-360.doi:10.11309/jssst.18.355

出版社：Japan Society for Software Science and Technology

文章 ID：104502395

文章详细全文下载
2.抽象化を用いた検証ツール

作　　者：田辺良則 ;高井利憲 ;高橋孝一

出　　处：コンピュータソフトウェア. 2005 ;22(1):1_2-1_44.doi:10.11309/jssst.22.1_2

出版社：Japan Society for Software Science and Technology

文章 ID：104502557

文章详细全文下载
3.BDDを用いた2方向CTL論理式充足可能性決定手続きの実装

作　　者：田辺良則 ;高橋孝一 ;山本光晴等

出　　处：コンピュータソフトウェア. 2005 ;22(3):3_154-3_166.doi:10.11309/jssst.22.3_154

出版社：Japan Society for Software Science and Technology

文章 ID：104502581

文章详细全文下载
4.特集「システム検証の科学技術」の編集にあたって

作　　者：木下佳樹 ;高橋孝一

出　　处：コンピュータソフトウェア. 2006 ;23(3):3_1-3_2.doi:10.11309/jssst.23.3_1

出版社：Japan Society for Software Science and Technology

文章 ID：104502627

文章详细全文下载
5.一次元セルオートマトンの有限近似解析

作　　者：高橋孝一 ;田辺良則 ;関澤俊弦

出　　处：コンピュータソフトウェア. 2006 ;23(3):3_147-3_157.doi:10.11309/jssst.23.3_147

出版社：Japan Society for Software Science and Technology

文章 ID：104502636

文章详细全文下载

	高橋孝一	5篇
	田辺良則	3篇
	佐藤貴洋	1篇
	坂井公	1篇
	山本光晴	1篇

	木下佳樹	1篇
	萩谷昌己	1篇
	藤田博征	1篇
	関澤俊弦	1篇
	高井利憲	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("高橋孝一")))) )) ) )"

	2006	2篇
	2005	2篇
	2001	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("高橋 孝一")))) )) ) )"

检索条件:"( ( 高级检索(( ((AU:(("高橋孝一")))) )) ) )"