Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems

＜図書＞
Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems

責任表示	Joseph A. Goguen and José Meseguer
シリーズ	Report (Center for the Study of Language and Information (U.S.)) ; no. CSLI-87-92
データ種別	図書
出版情報	Stanford, Calif. : Center for the Study of Language and Information , 1987
本文言語	英語
大きさ	22 p. ; 28 cm

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		中央図自動書庫	言語	1987		110032018810634		予約・取寄		出庫可能	予約・取寄		出庫可能

一般注記	"March 1987"
著者標目	*Goguen, Joseph Meseguer, José Stanford University. Center for the Study of Language and Information
書誌ID	1001662367
NCID	BB26633218
登録日	2018.08.23
更新日	2018.08.23