※一部利用できない機能があります
Linear logic in computer science
- フォーマット:
- 図書
- 責任表示:
- edited by Thomas Ehrhard ... [et al.]
- 言語:
- 英語
- 出版情報:
- Cambridge : Cambridge University Press, 2004
- 形態:
- x, 381 p. : ill. ; 23 cm
- 著者名:
- Ehrhard, Thomas <DA14675413>
- シリーズ名:
- London Mathematical Society lecture note series ; 316 <BA0005393X>
- 書誌ID:
- BA69078075
- ISBN:
- 9780521608572 [0521608570] (: pbk)
類似資料:
|
Springer Berlin Heidelberg |
Springer Berlin Heidelberg |
|
Matematički Institut SANU |
Springer Berlin Heidelberg |
|
Clarendon Press |
Springer Berlin Heidelberg |
|
Springer Berlin Heidelberg |
Springer Berlin Heidelberg |
|
Springer Berlin Heidelberg |
Springer Berlin Heidelberg |
|
Springer Berlin Heidelberg |
Springer Berlin Heidelberg |
