Computer Science Logic | 金沢大学附属図書館 OPAC plus

>> Google Books

Computer Science Logic

フォーマット:: 電子ブック
責任表示:: Dirk van Dalen
言語:: 英語
出版情報:: Springer Berlin Heidelberg, 1997
著者名:: Dirk van Dalen
ISBN:: 9783540631729 [3540631720]
9783540692010 [3540692010]

子書誌情報

オンライン

ジャーナル/ブックへリンク

所蔵情報

Loading availability information

タイトル・著者・出版者が同じ資料

詳細

刊行状態:	Unknown status
分類・件名:	LCC : 1000000000234664
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Logic and Structure van Dalen, Dirk Springer Berlin Heidelberg	7 図書 Handbook of logic in computer science Clarendon Press
2 図書 Logic and structure Dalen, D. van (Dirk), 1932- Springer	8 電子ブック Computer Science Logic Workshop on Computer Science Logic, Gottlob, Georg, Grandjean, Etienne, Seyr, Katrin Springer Berlin Heidelberg
3 電子ブック Logic and Structure Dalen Springer Berlin Heidelberg	9 電子ブック Computer Science Logic Workshop on Computer Science Logic, Flum, Jörg, Rodríguez Artalejo, Mario, European Association for Computer Science … Springer Berlin Heidelberg
4 電子ブック The Selected Correspondence of L.E.J. Brouwer Dalen, Dirk, van Dalen, Dirk Springer London	10 電子ブック Computer Science Logic Workshop on Computer Science Logic, Clote, Peter, Schwichtenberg, Helmut, European Association for Computer Science … Springer Berlin Heidelberg
5 図書 Logic in computer science Ognjanović, Zoran, Ghilezan, Silvia Matematički Institut SANU	11 電子ブック Computer Science Logic Workshop on Computer Science Logic, Börger, Egon Springer Berlin Heidelberg
6 図書 Linear logic in computer science Ehrhard, Thomas Cambridge University Press	12 電子ブック Computer Science Logic Workshop on Computer Science Logic, Börger, Egon, Jager, G., Kleine B:uning, H., Richter, Michael M. Springer Berlin Heidelberg