Automated Mathematical Induction - Hantao Zhang - 書籍 - Springer - 9789401072502 - 2011年9月28日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Hantao Zhang
Automated Mathematical Induction Softcover reprint of the original 1st ed. 1996 edition

価格
¥ 19.555
税抜

遠隔倉庫からの取り寄せ

発送予定日 年9月11日 - 年9月29日
Hantao 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.

227 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2011年9月28日
ISBN13 9789401072502
出版社 Springer
ページ数 222
寸法 160 × 240 × 12 mm   ·   331 g
編集者 Hantao Zhang

Hantao Zhangの他の作品を見る

すべて表示

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

Hantao Zhangのすべてを見る