プログラム検証のための帰納的定理自動証明法の研究

Notes on use

Search by Bookstore

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: プログラム検証のための帰納的定理自動証明法の研究
Title Transcription: プログラムケンショウノタメノキノウテキテイリジドウショウメイホウノケンキュウ
Author/Editor: 外山, 芳人, 東北大学
Author Heading: 外山, 芳人トヤマ, ヨシヒト
Publication Date: 1998-2001
Publication Date (W3CDTF): 1998
Extent: 冊
Additional Title: 研究種目基盤研究(C)
Subject Heading: 項書き換えシステムコウカキカエシステム
自動証明ジドウシヨウメイ
潜在帰納法センザイキノウホウ
書き換え帰納法カキカエキノウホウ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 10680346
Holding library: 国立国会図書館
Call No.: Y151-H10680346
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007074272
http://id.ndl.go.jp/bib/000007074272
Bibliographic Record Category (NDL): 214