Imagen de Portada

Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings /

Guardado en:

Autor Principal:	Calmet, Jacques.
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Ida, Tetsuo., Wang, Dongming.
Formato:	Electrónico
Idioma:	English
Publicado:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
Series:	Lecture Notes in Computer Science, 4120
Materias:	Computer science. Electronic data processing. Computational complexity. Algebra > Data processing. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics) Symbolic and Algebraic Manipulation. Numeric Computing. Discrete Mathematics in Computer Science. Mathematical Logic and Formal Languages.
Acceso en línea:	SpringerLink, via BECYT
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings /
por: Calmet, Jacques.
Publicado: (2006)

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings /
por: Ibarra, Oscar H.
Publicado: (2006)

The Mathematica GuideBook for Symbolics
por: Trott, Michael.
Publicado: (2006)

Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings /
por: Harju, Tero.
Publicado: (2007)

Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
por: Altenkirch, Thorsten.
Publicado: (2007)

Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings /
por: Pfenning, Frank.
Publicado: (2006)

Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29September 2, 2006. Proceedings /
por: Schmidt, Renate A.
Publicado: (2006)

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers /
por: Jermann, Christophe.
Publicado: (2005)

The Mathematica GuideBook for Symbolics
por: Trott, Michael.
Publicado: (2006)

Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29September 2, 2006. Proceedings /
por: Schmidt, Renate A.
Publicado: (2006)

Pairing-Based Cryptography Pairing 2007 First International Conference, Tokyo, Japan, July 2-4, 2007. Proceedings /
por: Takagi, Tsuyoshi.
Publicado: (2007)

Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /
por: Filliâtre, Jean-Christophe.
Publicado: (2006)

Theory and Applications of Relational Structures as Knowledge Instruments II International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers /
por: Swart, Harrie.
Publicado: (2006)

Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /
por: Baader, Franz.
Publicado: (2007)

Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings /
por: Giesl, Jürgen.
Publicado: (2005)

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers /
por: MacCaull, Wendy.
Publicado: (2006)

Discovering Mathematics with Magma Reducing the Abstract to the Concrete /
por: Bosma, Wieb.
Publicado: (2006)

Modular Algorithms in Symbolic Summation and Symbolic Integration
por: Gerhard, Jürgen.
Publicado: (2005)

Computers and Games 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006. Revised Papers /
por: Herik, H. Jaap.
Publicado: (2007)

Theory and Applications of Relational Structures as Knowledge Instruments II International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers /
por: Swart, Harrie.
Publicado: (2006)

An Introduction to Knowledge Engineering
por: Kendal, S. L.
Publicado: (2007)

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings /
por: Ibarra, Oscar H.
Publicado: (2006)

Symbolic Integration I Transcendental Functions /
por: Bronstein, Manuel.
Publicado: (2005)

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers /
por: MacCaull, Wendy.
Publicado: (2006)

Solving Polynomial Equations Foundations, Algorithms, and Applications /
por: Bronstein, Manuel.
Publicado: (2005)

Practice and Theory of Automated Timetabling VI 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30September 1, 2006 Revised Selected Papers /
por: Burke, Edmund K.
Publicado: (2007)

Algorithmic Methods for Railway Optimization International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers /
por: Geraets, Frank.
Publicado: (2007)

Advances in Computer Games 11th International Conference, ACG 2005, Taipei, Taiwan, September 6-9, 2005. Revised Papers /
por: Herik, H. Jaap.
Publicado: (2006)

Computers and Games 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers /
por: Herik, H. Jaap.
Publicado: (2006)

Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings /
por: Harju, Tero.
Publicado: (2007)

Algorithmic Number Theory 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006. Proceedings /
por: Hess, Florian.
Publicado: (2006)

Simulated Evolution and Learning 6th International Conference, SEAL 2006, Hefei, China, October 15-18, 2006. Proceedings /
por: Wang, Tzai-Der.
Publicado: (2006)

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings /
por: Iglesias, Andrés.
Publicado: (2006)

Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods /
por: Nikolaev, Nikolay Y.
Publicado: (2006)

Linear Genetic Programming
por: Brameier, Markus F.
Publicado: (2007)

Graph-Based Representations in Pattern Recognition 6th IAPR-TC-15 International Workshop, GbRPR 2007, Alicante, Spain, June 11-13, 2007. Proceedings /
por: Escolano, Francisco.
Publicado: (2007)

KI 2006: Advances in Artificial Intelligence 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings /
por: Freksa, Christian.
Publicado: (2007)

Mathematics of Surfaces XI 11th IMA International Conference, Loughborough, UK, September 5-7, 2005. Proceedings /
por: Martin, Ralph.
Publicado: (2005)

Mathematics of Surfaces XII 12th IMA International Conference, Sheffield, UK, September 4-6, 2007. Proceedings /
por: Martin, Ralph.
Publicado: (2007)

Advances in Case-Based Reasoning 8th European Conference, ECCBR 2006 Fethiye, Turkey, September 4-7, 2006 Proceedings /
por: Roth-Berghofer, Thomas R.
Publicado: (2006)