T Altenkirch
Types for Proofs and Programs: International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers - Lecture Notes in Computer Science T Altenkirch

Name: Types for Proofs and Programs: International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers - Lecture Notes in Computer Science
Price: 8537 JPY
Availability: OutOfStock
Author: T Altenkirch

価格

¥ 8.537

税抜

遠隔倉庫からの取り寄せ

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

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

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

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Types for Proofs and Programs: International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers - Lecture Notes in Computer Science

T Altenkirch

This text constitutes the refereed post-workshop proceedings of the International Workshop on Types for Proofs and Programs, TYPES '98. A variety of aspects of type theory and type systems and their relation to proof theory are addressed.

212 pages, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	1999年9月22日
ISBN13	9783540665373
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	212
寸法	156 × 234 × 11 mm · 312 g
言語	ドイツ語
編集者	Altenkirch, Thorsten
編集者	Naraschewski, Wolfgang
編集者	Reus, Bernhard