Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October, 7-11, 1991 : proceedings

フォーマット:
図書
責任表示:
E. Börger ... [et al.], eds
言語:
英語
出版情報:
Berlin ; New York : Springer-Verlag, c1992
形態:
viii, 428 p. : ill. ; 25 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 626 <BA00009279>
書誌ID:
BA18515376
ISBN:
9783540557890 [354055789X] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387557892 [038755789X] (: us)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

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

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

Springer-Verlag

International Workshop on Graph-Theoretic Concepts in Computer Science, Schmidt, Gunther, 1939-, Berghammer, R. &hellip;

Springer-Verlag

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

Springer-Verlag

International Workshop on Graph-Theoretic Concepts in Computer Science, Widmayer, Peter, Neyer, Gabriele, Eidenbenz, &hellip;

Springer

Workshop on Computer Science Logic, Pacholski, Leszek, Tiuryn, Jerzy

Springer-Verlag

Italian Conference on Theoretical Computer Science, Restivo, Antonio, Ronchi Della Rocca, Simona, Roversi, Luca

Springer

Workshop on Computer Science Logic, Dalen, D. van (Dirk), 1932-, Bezem, M. (Marc), 1956-, European Association for &hellip;

Springer

DMTCS, Calude, Cristian, 1952-, Dinneen, M. J., 1957-, Vajnovszki, Vincent

Springer

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

Springer

Symposium on Theoretical Aspects of Computer Science, Choffrut, Christian, Jantzen, Matthias, 1948-

Springer-Verlag

Workshop on Computer Science Logic, European Association for Computer Science Logic. Meeting, Makowsky, Johann A., &hellip;

Springer

ASM, Börger, E. (Egon), 1946-, Gargantini, Angelo, 1969-, Riccobene, Elvinia, 1964-

Springer