Browse
Sign on to:
My DSpace
authorized users

JAIST Repository >

Items for Author "矢竹, 健朗"

Return to Browse by Author
Sort by Title Sorting by Date

Showing 5 items.

Date of IssueTitle Authors
Mar-2002 高階述語論理定理証明器HOLのための問題領域ライブラリの構築矢竹, 健朗; やたけ, けんろう
Mar-2006 定理証明器HOLにおけるオブジェクト指向理論の構築矢竹, 健朗; やたけ, けんろう
Jul-2006 COE Research Monograph Series， Vol. 1 : オブジェクト指向理論によるファイアーウォールサーバの検証矢竹, 健朗
6-Sep-2007 定理証明によるファイアウォールサーバの検証矢竹, 健朗
1-Apr-2011 データ管理領域におけるプログラム検証の自動化に関する研究矢竹, 健朗; Yatake, Kenro

 
Contact : Library Information Section, JAIST (ir-sys[at]ml.jaist.ac.jp)