Automated Mathematical Induction - H Zhang - 書籍 - Springer - 9780792340102 - 1996年5月31日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

H Zhang
Automated Mathematical Induction Reprinted from JOURNAL OF AUTOMATED REASONING 16:1 edition

価格
¥ 19.421
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月12日 - 年10月28日
H Zhang の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

It has been shown how the common structure that defines a family of proofs can be expressed as a proof plan [5]. A proof plan has two complementary components: a proof method and a proof tactic. By prescribing the structure of a proof at the level of primitive inferences, a tactic [11] provides the guarantee part of the proof.

222 pages, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 1996年5月31日
ISBN13 9780792340102
出版社 Springer
ページ数 222
寸法 156 × 234 × 14 mm   ·   508 g
言語 英語  
編集者 Hantao Zhang

同じ出版社からのその他の記事

H Zhangのすべてを見る