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 BibTeX

@proceedings{DBLP:conf/aisc/1992,
  editor    = {Jacques Calmet and
               John A. Campbell},
  title     = {Artificial Intelligence and Symbolic Mathematical Computation,
               International Conference, AISMC-1, Karlsruhe, Germany, August
               3-6, 1992, Proceedings},
  booktitle = {AISCM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {737},
  year      = {1993},
  isbn      = {3-540-57322-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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