>> Google Books
所蔵情報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
形態:
vi, 399 p. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 385 <BA00009279>
著者名:
ISBN:
9783540516590 [354051659X] (: gw)
9780387516592 [038751659X] (: us)
書誌ID:
BA07365679
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

Workshop on Computer Science Logic, Börger, Egon, 1946-, Kleine Büning, Hans, 1948-, Richter, Michael M., 1938-

Springer-Verlag

7 電子ブック Computer Science Logic

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

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

Workshop on Computer Science Logic, Börger, Egon, 1946-, Richter, Michael M., 1938-, Kleine Büning, Hans, 1948-

Springer-Verlag

Börger, Egon, 1946-

North-Holland, Distributors for U.S.A. and Canada, Elsevier Science Publishing Company, Inc.

Workshop on Computer Science Logic, Börger, Egon, 1946-

Springer-Verlag

Workshop on Computer Science Logic, Börger, Egon, 1946-, Gurevich, Yuri, Meinke, K. (Karl)

Springer-Verlag

Workshop on Computer Science Logic, Börger, Egon, 1946-

Springer-Verlag

Workshop on Computer Science Logic, Kleine Büning, Hans, 1948-, European Association for Computer Science Logic

Springer

5 電子ブック CSL '89

Workshop on Computer Science Logic, Börger, Egon, Kleine Büning, Hans, Richter, Michael M.

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

Börger, Egon, 1946-

Computer Science Press

Workshop on Computer Science Logic, Börger, Egon, 1946-

Springer-Verlag

Ben-Ari, M., 1948-

Springer

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12