>> Amazon.co.jp
このページのQRコード

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

種類:
電子ブック
責任表示:
edited by Egon Börger, Hans Kleine Büning, Michael M. Richter
出版情報:
Berlin, Heidelberg : Springer-Verlag, 1989
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 385
ISBN:
9783540467366 [354046736X]  CiNii Books  Calil
ローカル注記:
学内専用E-BOOKS (local access only)
オンライン
http://dx.doi.org/10.1007/BFb0026291
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

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 電子ブック Computer Science Logic : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Börger, Egon, Gurevich, Yuri, Meinke, Karl, SpringerLink (Online service)

Springer-Verlag
2 電子ブック Computer Science Logic : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers

Börger, E., Jäger, G., Kleine Büning, H., Martini, S., Richter, M. M., SpringerLink (Online service)

Springer-Verlag
8 電子ブック 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
3 電子ブック 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
9 電子ブック Computer Science Logic : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Kleine Büning, Hans, SpringerLink (Online service)

Springer-Verlag
4 電子ブック 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
10 電子ブック Computer Science Logic : 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers

Pacholski, Leszek, Tiuryn, Jerzy, SpringerLink (Online service)

Springer-Verlag
5 図書 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
11 電子ブック Programming Language Implementation and Logic Programming : International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings

Deransart, Pierre, Maluszyński, Jan, SpringerLink (Online service)

Springer-Verlag
6 電子ブック 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
12 電子ブック Compiler Compilers and High Speed Compilation : 2nd CCHSC Workshop Berlin, GDR, October 10–14, 1988 Proceedings

Hammer, Dieter, SpringerLink (Online service)

Springer-Verlag