Monty Newborn
Automated Theorem Proving: Theory and Practice Monty Newborn 2001 edition

Name: Automated Theorem Proving: Theory and Practice
Price: 29005 JPY
Availability: OutOfStock
Author: Monty Newborn

価格

¥ 29.005

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月11日 - 年11月27日

クリスマスプレゼントは1月31日まで返品可能です

Monty Newborn の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

Paperback Book

Softcover reprint of the original 1st ed. 2001 edition

(2013) ¥ 18.860

Automated Theorem Proving: Theory and Practice

Monty Newborn

2001 edition

This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving.

231 pages, biography

メディア	書籍 Hardcover Book (ハードカバー付きの本)
リリース済み	2000年12月15日
ISBN13	9780387950754
出版社	Springer-Verlag New York Inc.
ページ数	231
寸法	155 × 235 × 15 mm · 526 g
言語	英語