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

>> Google Books

Computer Science Logic

フォーマット:

電子ブック

責任表示:

Workshop on Computer Science Logic ; Börger, Egon

言語:

英語

出版情報:

Springer Berlin Heidelberg, 1991

著者名:

ISBN:

9783540544876 [3540544879]

9783540384014 [3540384014]

子書誌情報

オンライン

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

所蔵情報

Loading availability information

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

詳細

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

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Computer Science Logic Workshop on Computer Science Logic, Börger, Egon Springer Berlin Heidelberg	7 図書 Logic in computer science Ognjanović, Zoran, Ghilezan, Silvia Matematički Institut SANU
2 電子ブック Computer Science Logic Workshop on Computer Science Logic, Börger, Egon, Gurevich, Yuri, Meinke, Karl Springer Berlin Heidelberg	8 図書 Linear logic in computer science Ehrhard, Thomas Cambridge University Press
3 電子ブック Computer Science Logic Workshop on Computer Science Logic, Börger, Egon, Jager, G., Kleine B:uning, H., Richter, Michael M. Springer Berlin Heidelberg	9 図書 Handbook of logic in computer science Clarendon Press
4 図書 Computation theory and logic Börger, Egon, 1946- Springer-Verlag	10 電子ブック Computer Science Logic Workshop on Computer Science Logic, Gottlob, Georg, Grandjean, Etienne, Seyr, Katrin Springer Berlin Heidelberg
5 電子ブック Computation Theory and Logic Börger Springer Berlin Heidelberg	11 電子ブック Computer Science Logic Workshop on Computer Science Logic, Flum, Jörg, Rodríguez Artalejo, Mario, European Association for Computer Science … Springer Berlin Heidelberg
6 電子ブック Logic and Machines: Decision Problems and Complexity Börger Springer Berlin Heidelberg	12 電子ブック Computer Science Logic Workshop on Computer Science Logic, Clote, Peter, Schwichtenberg, Helmut, European Association for Computer Science … Springer Berlin Heidelberg