AISC (Conference) Books
Artificial Intelligence And Symbolic Computation: 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings
By Francisco J. Martín-Mateos, Gonzalo A. Aranda-Corral, Jacques Calmet, AISC (Conference)
This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15...
Read More
Artificial Intelligence And Symbolic Computation: International Conference Aisc'98, Plattsburgh, New York, Usa, September 16-18, 1998, Proceedings
By International Conference AISC '98 (1998 Plattsburgh, N.Y.), Jacques Calmet, AISC (Conference), Jan Plaza, Calmet, Jacques, Plaza, Jan
This Book Constitutes The Refereed Proceedings Of The International Conference On Artificial Intelligence And Symbolic Computation, Aisc'98, Held In Plattsburgh, Ny, In September 1998. The 24 Revis...
Read More
Artificial Intelligence And Symbolic Computation: International Conference Aisc 2000 Madrid, Spain, July 17-19, 2000. Revised Papers
By J. A Campbell, John A. Campbell, Eugenio Roanes-Lozano, International Conference On Artificial Intelligence And Symbolic Mathematical Computation (5th 2000 Madrid, Spain), AISC (Conference), Spain) International Conference Aisc 2000 (2000 : Madrid
This volume contains the invited papers, contributed papers, and poster s- maries accepted for the Fifth International Conference on Arti?cial Intelligence and Symbolic Computation (AISC 2000). The...
Read More
Artificial Intelligence, Automated Reasoning, And Symbolic Computation: Joint International Conferences, Aisc 2002 And Calculemus 2002 Marseille, ...
By Volker Sorge, Olga Caprotti, AISC 2002 (2002 Marseille, France), Laurent Henocque, Belaid Benhamou, Jacques Calmet, AISC (Conference)
this Book Constitutes The Refereed Proceedings Of The Joint International Conferences On Artificial Intelligence And Symbolic Computation, Aisc 2002, And Calculemus 2002 Held In Marseille, France,...
Read More
Artificial Intelligence And Symbolic Computation
By Author, Francisco J. Martín-Mateos, Gonzalo A. Aranda-Corral, Jacques Calmet, AISC (Conference)
This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15...
Read More
Intelligent Computer Mathematics
By Author, Jaime G. Carbonell, AISC (Conference), Serge Autexier; John Campbell; Julio Rubio
Annotation This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integra...
Read More
Artificial Intelligence And Symbolic Computation
By Bruno Buchberger, Campbell, John A., John A. Campbell, AISC (Conference)
This Book Constitutes The Refereed Proceedings Of The 7th International Conference On Artificial Intelligence And Symbolic Computation, Aisc 2004, Held In Linz, Austria In September 2004. The 17 Re...
Read More
Artificial Intelligence, Automated Reasoning, And Symbolic Computation
By Volker Sorge, Olga Caprotti, Laurent Henocque, Belaid Benhamou, Jacques Calmet, AISC (Conference)
This Book Constitutes The Refereed Proceedings Of The Joint International Conferences On Artificial Intelligence And Symbolic Computation, Aisc 2002, And Calculemus 2002 Held In Marseille, France,...
Read More
Artificial Intelligence And Symbolic Computation
By Tetsuo Ida, Jaques Calmet, Dongming Wang, AISC (Conference), Arjeh M. Cohen (Auth.), Jacques Calmet, Tetsuo Ida, Dongming Wang (Eds.)
This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006, held in Beijing, China in September 2006. The 18 r...
Read More
Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, And 9th International Conference, MKM ... (Lecture Notes In Computer Science (6167))
By P. D. F. Ion, Alan Sexton, Laurence Rideau, David Delahaye, Jacques Calmet, Serge Autexier, AISC (Conference), Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, Renaud Rioboo
This book constitutes the joint refereed proceedings of the 10th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2010, the 17th Symposium on the Integration of Sy...
Read More