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

Artificial intelligence and symbolic computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings / Bruno Buchberger, John A. Campbell (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c2004
形態:
x, 284 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 3249 . Lecture notes in artificial intelligence <BA00009279>
著者名:
ISBN:
9783540232124 [3540232125]
書誌ID:
BA68920751
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Artificial Intelligence and Symbolic Computation : 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings

Buchberger, Bruno., Campbell, John A., SpringerLink (Online service)

Springer Berlin Heidelberg
7 電子ブック Artificial Intelligence and Symbolic Computation

AISC 2004, Buchberger, Bruno, Campbell, J. A., Campbell, John A., Kittler, Josef

SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
2 図書 Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers

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

Springer
8 図書 Symbolic and quantitative approaches to reasoning with uncertainty : 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001 : …

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

Springer
3 図書 Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings

International Conference AISC, Calmet, Jacques, 1941-, Plaza, Jan

Springer
9 図書 Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, … (: gw)

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

Springer-Verlag
4 図書 Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conference AISC 2002 and Calculemus 2002, Marseille, France, July …

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

Springer
10 電子ブック Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings

Calmet, Jaques., Campbell, John A., Pfalzgraf, Jochen., SpringerLink (Online service)

Springer Berlin Heidelberg
5 図書 Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings (: us ; : gw)

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

Springer-Verlag
11 図書 Logics in artificial intelligence : European Workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings

JELIA, Ojeda-Aciego, Manuel, 1967-

Springer
6 図書 Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings

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

Springer
12 図書 Frontiers of combining systems : Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : Proceedings

International Workshop on Frontiers of Combining Systems, Kirchner, Hélène, Ringeissen, Christophe, 1967-

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