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

Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conference AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings / Jacques Calmet ... [et al.] (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c2002
形態:
xi, 341 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 2385 . Lecture notes in artificial intelligence <BA00009279>
著者名:
ISBN:
9783540438656 [3540438653]
書誌ID:
BA57702544
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

International Conference AISC, Calmet, Jacques, 1941-, 井田, 哲雄(1947-), Wang, Dongming

Springer

International Conference AISMC, Calmet, Jacques, 1941-, Campbell, John A., 1940-

Springer-Verlag

European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Benferhat, Salem, 1966-, …

Springer

International Conference AISC, Campbell, John A., 1940-, Roanes-Lozano, Eugenio

Springer

International Conference AISMC, Calmet, Jacques, 1941-, Campbell, John A., 1940-

Springer-Verlag

International Conference AISMC-2, Calmet, Jacques, Campbell, J. A.

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Hunter, Anthony, 1962-, …

Springer

International Conference AISMC, Calmet, Jacques, 1941-, Campbell, John A., 1940-, Pfalzgraf, Jochen

Springer

European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Froidevaux, Christine, Kohlas, …

Springer

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