CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings

>> Amazon.co.jp

このページのQRコード

CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings

種類:

図書

責任表示:

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

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1990

著者名:

シリーズ名:

Lecture notes in computer science ; 440 <BA00009279>

ISBN:

9783540527534 [3540527532] (: gw)

9780387527536 [0387527532] (: us)

所蔵情報

子書誌情報

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

詳細

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

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック 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	7 電子ブック 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
2 電子ブック 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	8 図書 Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October, 7-11, 1991 : proceedings Workshop on Computer Science Logic, Börger, Egon, 1946- Springer-Verlag
3 図書 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	9 図書 Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings Workshop on Computer Science Logic, Börger, Egon, 1946- Springer-Verlag
4 図書 CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings Workshop on Computer Science Logic, Börger, Egon, 1946-, Kleine Büning, Hans, Richter, Michael M., 1938- Springer-Verlag	10 電子ブック 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
5 図書 Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers Workshop on Computer Science Logic, Börger, Egon, 1946- Springer-Verlag	11 電子ブック 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
6 電子ブック 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	12 電子ブック 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