David Basin
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - Lecture Notes in Computer Science David Basin 2003 edition

Name: Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - Lecture Notes in Computer Science
Price: 8537 JPY
Availability: OutOfStock
Author: David Basin

価格

¥ 8.537

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月26日 - 年12月8日

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

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

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - Lecture Notes in Computer Science

David Basin

2003 edition

This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8-12, 2003 in Rome, Italy.

366 pages, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2003年8月21日
ISBN13	9783540406648
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	366
寸法	155 × 233 × 20 mm · 535 g
言語	ドイツ語
編集者	Basin, David
編集者	Wolff, Burkhart