ID:DA09169496
Advanced Study Institute on Proof and Computation, NATO
同姓同名の著者を検索
edited by Helmut Schwichtenberg
Springer-Verlag 1995 NATO ASI series Ser. F . Computer and systems sciences ; v. 139
所蔵館28館