1. AISMC 1992:
Karlsruhe, Germany
Jacques Calmet, John A. Campbell (Eds.):
Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings.
Lecture Notes in Computer Science 737 Springer 1993, ISBN 3-540-57322-4 
- Jacques Calmet, John A. Campbell:
Artificial Intelligence and Symbolic Mathematical Computation.
1-19
- Peter Struss:
Qualitative Modeling of Physical Systems in AI Research.
20-49
- Jürgen Sellen:
On the Topological Structure of Configuration Spaces.
50-64
- Peter B. Ladkin, Alexander Reinefeld:
A Symbolic Approach to Interval Constraint Problems.
65-84
- Gerhard Schwärzler:
An Algebraic Approach to Knowledge-Based Modeling.
85-95
- Michael E. Clarkson:
Intelligent User Interfaces for Symbolic and Numeric Computation.
96-106
- Gregory Butler:
The Progress Towards an Intelligent Assistent - A Discussion Paper.
107-115
- Jochen Pfalzgraf:
On Mathematical Modeling in Robotics.
116-132
- Eric Monfroy:
Gröbner Bases: Strategies and Applications.
133-151
- Hoon Hong:
Heuristic Search Strategies for Cylindrical Algebraic Decomposion.
152-165
- Jacques Calmet, Karsten Homann, Indra A. Tjandra:
Unified Domains and Abstract Computational Structures.
166-177
- Eugen E. Ardeleanu:
Completion and Invariant Theory in Symbolic Computation and Artificial Intelligence.
178-187
- Andreas Weber:
A Type-Coercion Problem in Computer Algebra.
188-194
- Wolfram Koepf:
Algorthmic Development of Power Series.
195-213
- Larry Kerschberg, Anthony Waisanen:
A Cooperative Approach to Query Processing: Integrating Historical, Structural, and Behavioral Knowledge Sources.
214-223
- Gianna Cioni, Attilio Colagrossi, Alfonso Miola:
A Desk-Top Sequent Calculus Machine.
224-236
- Jan A. Plaza:
Gentzen-style Characterizations of Negation as Failure.
237-261
- Reiner Hähnle:
A New Translation from Deduction into Integer Programming.
262-275
- Martin Charles Golumbic:
Reasoning About Time.
276
- Waldir L. Roque:
Learning Qualitative Physics Reasoning from Regime Analysis.
277-293
- Roberto Garigliano, David J. Nettleton:
Qualitative Mathematical Modeling of Genetic Algorithms.
294-305
Last update Fri May 24 00:02:26 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
