DSpace Collection: 第51号 http://hokuga.hgu.jp/dspace/handle/123456789/4752 2024-01-12 The Collection's search engine Search the Channel search http://hokuga.hgu.jp/dspace/simple-search 表紙・目次・奥付 http://hokuga.hgu.jp/dspace/handle/123456789/4759 Title: 表紙・目次・奥付 規約・総索引 http://hokuga.hgu.jp/dspace/handle/123456789/4758 Title: 規約・総索引 生命工学科におけるオリジナルワインの取り組み http://hokuga.hgu.jp/dspace/handle/123456789/4757 Title: 生命工学科におけるオリジナルワインの取り組み<br/><br/>Authors: 新沼, 協; 小山, 芳一; NIINUMA, Kanae; KOYAMA, Yoshikazu 定理証明支援系Isabelleにおける関数検索機能の拡張 http://hokuga.hgu.jp/dspace/handle/123456789/4756 Title: 定理証明支援系Isabelleにおける関数検索機能の拡張<br/><br/>Authors: 佐藤, 晴彦; SATO, Haruhiko