| 出版情報 |
Dordrecht : Kluwer Academic : Springer , c1999-c2008 |
| 大きさ |
v. : ill. ; 25 cm |
| 一般注記 |
Vol. 3 edited by Harry Bunt and Reinhard Muskens
Publisher varies: Springer, v. 3 (c2007)-
Includes bibliographical references and index |
| 著者標目 |
Bunt, Harry C.
Muskens, Reinhard, 1953-
Thijsse, Elias
|
| 件 名 |
LCSH:Semantics -- Data processing
全ての件名で検索
LCSH:Formal languages -- Semantics
全ての件名で検索
|
| 分 類 |
LCC:P325.5.D38
|
| 本文言語 |
英語 |
| 書誌ID |
TB10028649 |
| ISBN |
1402002904 |
| NCID |
BA45165732
|
| 巻冊次 |
v. 1 ; ISBN:1402002904 ; XISBN:0792361083
v. 2 : pb ; ISBN:1402004516
v. 2 : hb ; ISBN:1402001754
v. 3 : hb ; ISBN:9781402059568
v. 3 : pb ; ISBN:9781402059575
|
