サイトウ　タカミチ   Saito Takamichi   齋藤　孝道    所属   明治大学  理工学部    職種   専任教授
言語種別	英語
発行・発表の年月	1999/10
形態種別	国際会議議事録
標題	A Deduction Engine for Security Logic
執筆形態	共著(筆頭者)
掲載誌名	Proc. of the International Synposium on Future Software Technology ISFST-99, Software Engineers Association.
巻・号・頁	(ISBN 4-916227-07-7),pp.18-23
著者・共著者	Takamichi Saito, Wu Wen and Fumio Mizoguchi