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

Frontiers of combining systems : Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : Proceedings / Hélène Kirchner, Christophe Ringeissen (eds.)

資料種別:
図書
出版情報:
Berlin ; Heidelberg : Springer-Verlag, c2000
形態:
x, 289 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1794 . Lecture notes in artificial intelligence <BA00009279>
著者名:
ISBN:
9783540672814 [3540672818]
書誌ID:
BA46083633
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

International Workshop on Frontiers of Combining Systems, Armando, Alessandro

Springer-Verlag

International Conference on Automated Deduction, Kirchner, Claude, Kirchner, Hélène

Springer

Bläsius, Karl Hans, 1952-, Hedtstück, Ulrich, 1951-, Rollinger, Claus-Rainer, 1950-

Springer-Verlag

International Conference on Algebraic Methodology and Software Technology, Kirchner, Hélène, Ringeissen, Christophe, …

Springer

International Conference AISC, Calculemus 2002, Calmet, Jacques, 1941-, Symposium on the Integration of Symbolic …

Springer

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

Springer

Reinfrank, M. (Michael), 1958-, International Workshop on Non-Monotonic Reasoning

Springer-Verlag

6 電子ブック Frontiers of Combining Systems

Fontaine, Pascal; Ringeissen, Christophe; Schmidt, Renate

Springer eBooks Computer Science, Springer Berlin Heidelberg

Moschovakis, Yiannis N., 1938-, Workshop on Logic from Computer Science

Springer-Verlag

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