default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st AISMC 1992: Karlsruhe, Germany
- Jacques Calmet, John A. Campbell:
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 - Éric 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-06-12 21:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
