>> 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
他の版・巻

類似資料:

Jacques Calmet, Calmet, Jacques, Benhamou, Belaid, Caprotti, Olga, Henocque, Laurent, Sorge, Volker

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

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

Springer-Verlag

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

Springer

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

Springer

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

Springer

Jacques Calmet, Calmet, Jacques, Plaza, Jan

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

Fleuriot, Dongming Wang, Jacques Calmet, Calmet, Jacques, Wang, DongMing

SpringerLink Books - AutoHoldings, Springer International Publishing

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

Springer

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

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

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