Computer Science Logic

>> Google Books

Computer Science Logic

フォーマット:

電子ブック

責任表示:

Workshop on Computer Science Logic ; Börger, Egon ; Jager, G. ; Kleine B:uning, H. ; Richter, Michael M.

言語:

英語

出版情報:

Springer Berlin Heidelberg, 1992

著者名:

ISBN:

9783540557890 [354055789X]

9783540472858 [3540472851]

子書誌情報

オンライン

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

所蔵情報

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

詳細

刊行状態:	Unknown status
分類・件名:	LCC : 1000000000233856
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 図書 Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Richter, Michael M., 1938- Springer-Verlag
2 電子ブック Computer Science Logic Workshop on Computer Science Logic, Börger, Egon Springer Berlin Heidelberg	8 電子ブック High Performance Computing in Science and Engineering ’03 Krause, Egon; Jäger, Willi; Resch, Michael, Jäger, Willi Springer Berlin Heidelberg
3 電子ブック CSL '89 Workshop on Computer Science Logic, Börger, Egon, Kleine Büning, Hans, Richter, Michael M. Springer Berlin Heidelberg	9 電子ブック Logic versus Approximation Wolfgang Lenski, Lenski, Wolfgang, Richter, Michael M. Springer Berlin / Heidelberg
4 電子ブック Computer Science Logic Workshop on Computer Science Logic, Börger, Egon, Gurevich, Yuri, Meinke, Karl Springer Berlin Heidelberg	10 電子ブック High Performance Computing in Science and Engineering’ 04 HLRS Results and Review Workshop, Jager, Willi, Krause, Egon, Resch, Michael Springer Berlin Heidelberg
5 電子ブック Computer Science Logic Workshop on Computer Science Logic, Kleine Büning, Hans, European Association for Computer Science Logic. Springer Berlin Heidelberg	11 電子ブック Computation Theory and Logic Börger Springer Berlin Heidelberg
6 図書 Computation theory and logic Börger, Egon, 1946- Springer-Verlag	12 電子ブック Logic and Machines: Decision Problems and Complexity Börger Springer Berlin Heidelberg