13 treff

Symbolic Computation Conference
Proceedings of Symbolic Computation Conferences : summer 2007
Symbolic Computation Conference
CD-ROM Engelsk 2007
Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers
International Conference AISMC
Bok Engelsk 1995
Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings
International Conference AISMC
Bok Engelsk 1996
Artificial intelligence and symbolic computation : 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings
AISC 2006
Bok Engelsk 2006
Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings
AISC 2004
Bok Engelsk 2004
Symbolic and numerical scientific computation : second international conference, SNSC 2001, Hagenberg, Austria, September 12-14, 2001 : revised papers
SNSC 2001
Bok Engelsk 2003
Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers
AISC 2000
Bok Engelsk 2001
Symbolic computation : solving equations in algebra, geometry, and engineering : proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering, Mount Holyoke College, South Hadley, MA, June 11-15, 2000
AMS-IMS-SIAM Joint Summer Research Conference on SymbolicComputation: Solving Equations in Algebra, Geometry, and Engineering
Bok Engelsk 2001
Artificial intelligence and symbolic computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings
AISC '98
Bok Engelsk 1998
Combinatorics, complexity, and logic : proceedings of DMTCS '96
International Conference on Discrete Mathematics and Theoretical Computer Science
Bok Engelsk 1997
Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings
AISC 2002
Bok Engelsk 2002
Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings
CCL '94
Bok Engelsk 1994
Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings
DMTCS 2003
Bok Engelsk 2003