>> Google Books
所蔵情報QRコード

CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1988
形態:
vi, 346 p. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 329 <BA00009279>
著者名:
ISBN:
9783540502418 [3540502416] (: gw)
9780387502410 [0387502416] (: us)
書誌ID:
BA04431303
子書誌情報
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

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-, Richter, Michael M., 1938-, Kleine Büning, Hans, 1948-

Springer-Verlag

International Symposium on Logical Foundations of Computer Science, Nerode, Anil, 1932-, Taitslin, M. A. (Michael A.)

Springer-Verlag

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

Springer-Verlag

International Symposium on Logical Foundations of Computer Science, Nerode, Anil, 1932-, Matii︠a︡sevich, I︠U︡. …

Springer-Verlag

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

Springer-Verlag

International Symposium on Logical Foundations of Computer Science, Adi︠a︡n, S. I., Nerode, Anil, 1932-

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

International Symposium on Logical Foundations of Computer Science, Meyer, Albert R., Taitslin, M. A. (Michael A.)

Springer-Verlag

12 電子ブック 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

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