---

Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers / Eduardo Giménez, Christine Paulin-Mohring (eds.)
(Lecture notes in computer science ; 1512)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1998
形態	viii, 372 p. : ill. ; 24 cm
別書名	背表紙タイトル:TYPES '96 : types for proofs and programs
著者標目	*International Workshop TYPES (1996 : Aussois, France) Giménez, Eduardo Paulin-Mohring, Christine, 1962-
件　名	LCSH:Automatic theorem proving -- Congresses  全ての件名で検索
分　類	NDC:549.92
書誌ID	LT00553946

 類似資料