Art

J-GLOBAL ID：201302269312167950   Reference number：13A1808954

定理証明系Mizarの概要

Author (1)： SHIDAMA YASUNARI (信州大 工)
Material： 電子情報通信学会大会講演論文集(CD-ROM)  (電子情報通信学会ソサイエティ大会講演論文集(CD-ROM))
Volume： 2013  Issue： ソサイエティ大会  Page： ROMBUNNO.AT-2-2  Publication year： Sep. 03, 2013 
JST Material Number： G0508B  ISSN： 1349-144X  Document type： Proceedings
Article type： 短報  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *theorem proving ,  Computer Security ,  predicative logic ,  formal description ,  cryptology ,  e-Learning

JST classification (1)： Applied programming languages  (JD03052Y)

Terms in the title (2)： 定理証明 ,  概要