CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings

>> Amazon.co.jp

このページのQRコード

CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings

種類:

図書

責任表示:

E. Börger, H. Kleine Büning, M.M. Richter (eds.)

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1989

著者名:

シリーズ名:

Lecture notes in computer science ; 385 <BA00009279>

ISBN:

9783540516590 [354051659X] (: gw)

9780387516592 [038751659X] (: us)

注記:

Includes bibliographical references

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Computer science--Mathematics; Logic, Symbolic and mathematical
分類・件名:	NDC7 : 549.92 LCSH : Computer science -- Mathematics LCSH : Logic, Symbolic and mathematical
LCCN:	89021811
TTLL:	eng
言語:	英語
形態:	vi, 399 p. : ill. ; 25 cm
書誌ID:	BA07365679

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings Börger, Egon, Büning, Hans Kleine, Richter, Michael M., SpringerLink (Online service) Springer-Verlag	7 電子ブック CSL '87 : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings Börger, Egon, Büning, Hans Kleine, Richter, Michael M., SpringerLink (Online service) Springer-Verlag
2 電子ブック CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings Börger, Egon., Kleine Büning, Hans., Richter, Michael M., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	8 電子ブック CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings Börger, Egon., Kleine Büning, Hans., Richter, Michael M., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
3 図書 CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings Workshop on Computer Science Logic, Börger, Egon, 1946-, Kleine Büning, Hans, 1948-, Richter, Michael M., 1938- Springer-Verlag	9 電子ブック Computer Science Logic : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M., SpringerLink (Online service) Springer-Verlag
4 電子ブック CSL '89 : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings Börger, Egon, Büning, Hans Kleine, Richter, Michael M., SpringerLink (Online service) Springer-Verlag	10 電子ブック Computer Science Logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings Börger, Egon., Jäger, Gerhard., Kleine Büning, Hans., Richter, Michael M., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
5 電子ブック CSL '89 : 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings Börger, Egon., Kleine Büning, Hans., Richter, Michael M., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	11 電子ブック Computer Science Logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers Börger, Egon., Jäger, Gerhard., Kleine Büning, Hans., Martini, Simone., Richter, Michael M., SpringerLink (Online … Springer Berlin Heidelberg : Imprint: Springer
6 図書 CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings Workshop on Computer Science Logic, Börger, Egon, 1946-, Kleine Büning, Hans, Richter, Michael M., 1938- Springer-Verlag	12 電子ブック Computer Science Logic : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings Börger, Egon, Kleine Büning, Hans, Richter, Michael M., Schönfeld, Wolfgang, SpringerLink (Online service) Springer-Verlag