ID:DA13090141
AISC
International Conference on Artificial Intelligence and Symbolic Computation
Conference on Artificial Intelligence and Symbolic Computation, International
International Conference AISMC
同姓同名の著者を検索
Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.)
Springer c2006 Lecture notes in computer science 4120 . Lecture notes in artificial intelligence
所蔵館7館
Bruno Buchberger, John A. Campbell (eds.)
Springer c2004 Lecture notes in computer science 3249 . Lecture notes in artificial intelligence
所蔵館14館
Jacques Calmet ... [et al.] (eds.)
Springer c2002 Lecture notes in computer science 2385 . Lecture notes in artificial intelligence
所蔵館33館
John A. Campbell, Eugenio Roanes-Lozano (eds.)
Springer c2001 Lecture notes in computer science 1930 . Lecture notes in artificial intelligence
所蔵館32館
Jacques Calmet, Jan Plaza (eds.)
Springer c1998 Lecture notes in computer science 1476 . Lecture notes in artificial intelligence
所蔵館40館
