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

Computer science logic : 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

種類:
図書
責任表示:
Jörg Flum, Mario Rodríguez-Artalejo (eds.)
出版情報:
Berlin : Springer, c1999
著者名:
シリーズ名:
Lecture notes in computer science ; 1683 <BA00009279>
ISBN:
9783540665366 [3540665366]  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

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

Workshop on Computer Science Logic, European Association for Computer Science Logic, Clote, Peter G., Schwichtenberg, &hellip;

Springer

Workshop on Computer Science Logic, Nielsen, Mogens, Thomas, Wolfgang, European Association for Computer Science Logic

Springer

Workshop on Computer Science Logic, European Association for Computer Science Logic, Fribourg, Laurent, 1957-

Springer

Levi, Giorgio, Rodríguez-Artalejo, Mario, SpringerLink (Online service)

Springer-Verlag

Workshop on Computer Science Logic, Dalen, Dirk van, Bezem, Marc, European Association for Computer Science Logic

Springer

Levi, Giorgio., Rodriguez-Artalejo, Mario., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

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

Springer

International Workshop on Logic Program Synthesis and Transformation, Leuschel, Michael

Springer

International Conference on Algebraic and Logic Programming, Levi, Giorgio, 1942-, Rodríguez Artalejo, M. (Mario)

Springer-Verlag

Kleine Buening, Hans., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of &hellip;

IEEE Computer Society