Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
型理論での形式的証明記述の技法について
高村, 博紀, 木下, 佳樹
Published in Conference Proceedings of Japan Society for Software Science and Technology (2005)
Published in Conference Proceedings of Japan Society for Software Science and Technology (2005)
Get full text
Journal Article
シンセシオロジー創刊3周年記念著者座談会
諏訪, 牧子, 脇田, 浩二, 駒井, 武, 赤松, 幹之, 吉川, 弘之, 中村, 安宏, 木下, 佳樹, 渡利, 広司
Published in Synthesiology English edition (2011)
Published in Synthesiology English edition (2011)
Get full text
Journal Article