Princeton University Library Catalog

研究集会「高信頼ナ理論と実装のための定理証明および定理証明器」 = Theorem proving and provers for reliable theory and implementations (TPP2014) / 編集溝口佳寬[and three others].

Kenkyū Shūkai, Kōshinrai na Riron to Jissō no Tame no Teiri Shōmei oyobi Teiri Shōmeiki = Theorem proving and provers for reliable theory and implementations (TPP2014) / henshū Mizoguchi Yoshihiro [and three others].

Author:
Theorem proving and provers for reliable theory and implementations (2014 : Kyūshū Daigaku) [Browse]
Format:
Book
Language:
English
Published/​Created:
  • Fukuoka-shi : Kyushu Daigaku Masu Foa Indasutori Kenkyūjo, 2015.
  • 福岡市 : 九州大学マス·フォア·インダストリ研究所, 2015.
Description:
vii, 138 pages : illustrations (some color) ; 26 cm.
Series:
Notes:
Workshop held at the Nishijin Plaza of Kyushu University on December 3 - 5, 2014.
Bibliographic references:
Includes bibliographical references.
Subject(s):
Other title(s):
  • Kōshinrai na Riron to Jissō no Tame no Teiri Shōmei oyobi Teiri Shōmeiki
  • Theorem proving and provers for reliable theory and implementations (TPP2014)
OCLC:
962077665
Issuing body:
Other views:
Staff view