関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Formallanguages -- Semantics
選択行を:
| 資料名 | 所在 |
1 | Computing meaning / edited by Harry Bunt, Reinhard Muskens and Elias Thijsse ; v. 1, v. 2 : pb, v. 2 : HB. -- Kluwer Academic, c1999-2001. -- (Studies in linguistics and philosophy ; v. 73, 77). | 教養共5F英語 801:B:1 |
2 | Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24 - October 1, 1986, proceedings / Marisa Venturini Zilli (ed.) ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 280). | 理数学 410.9:M |
選択行を:
|