>> Google Books

Model Checking and Artificial Intelligence / Stefan Edelkamp, Alessio Lomuscio, Jörg Siekmann

資料種別:
電子ブック
出版情報:
Springer eBooks Computer Science
Springer Berlin Heidelberg, 2007
著者名:
ISBN:
9783540741275 [3540741275]
9783540741282 [3540741283]
書誌ID:
OB00278443
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Torra, Vicenç, Narukawa, Yasuo, Siekmann, Jörg

Springer eBooks Computer Science, Springer Berlin Heidelberg

Meyden, Ron, Kanade, Takeo, Smaus, Jan-Georg

Springer eBooks Computer Science, Springer Berlin Heidelberg

Torra, Vicenç, Narukawa, Yasuo, Siekmann, Jörg, Yoshida, Yuji

Springer eBooks Computer Science, Springer Berlin Heidelberg

Zaverucha, Gerson, Costa, Augusto Loureiro, Siekmann, Jörg

Springer eBooks Computer Science, Springer Berlin Heidelberg

Darzentas, John, Arnellos, Argyris, Siekmann, Jörg, Vosinakis, Spyros, Vouros, George A.

Springer eBooks Computer Science, Springer Berlin Heidelberg

Wobcke, Wayne, Siekmann, Jörg, Zhang, Mengjie

Springer eBooks Computer Science, Springer Berlin Heidelberg

Bach, Joscha, Edelkamp, Stefan, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Gelbukh, Alexander, Morales, Eduardo F., Siekmann, Jörg

Springer eBooks Computer Science, Springer Berlin Heidelberg

Bergler, Sabine, Siekmann, Jörg

Springer eBooks Computer Science, Springer Berlin Heidelberg

Dershowitz, Nachum, Siekmann, Jörg, Voronkov, Andrei

Springer eBooks Computer Science, Springer Berlin Heidelberg

Peled, Doron A., Kanade, Takeo, Wooldridge, Michael J.

Springer eBooks Computer Science, Springer Berlin Heidelberg

Corchado, Emilio, Abraham, Ajith, Pedrycz, Witold, Siekmann, Jörg

Springer eBooks Computer Science, Springer Berlin Heidelberg

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