default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd AISMC 1996: Steyr, Austria
- Jacques Calmet, John A. Campbell, Jochen Pfalzgraf:
Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings. Lecture Notes in Computer Science 1138, Springer 1996, ISBN 3-540-61732-9 - Dana S. Scott:
Symbolic Computation and Teaching. 1-20 - Andrej Bauer, Edmund M. Clarke, Xudong Zhao:
Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. 21-37 - Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra:
Document Recognition, Semantics, and Symbolic Reasoning in Reverse Engineering of Software. 38-48 - Fátima C. C. Dargam:
Compromised Updates in Labelled Databases. 49-70 - Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías:
An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem. 71-86 - Rüdiger Dillmann, Holger Friedrich:
Programming by Demonstration: A Machine Learning Approach to Support Skill Acquisiton for Robots. 87-108 - Gunther Reinhart, Rolf Diesch, Michael R. Koch:
Knowledge-Based Information Processing in Manufacturing Cells - The Present and the Future. 109-123 - Anthony G. Cohn
:
Calculi for Qualitative Spatial Reasoning. 124-143 - Frédéric Benhamou, Laurent Granvilliers:
Combining Local Consistency, Symbolic Rewriting and Interval Methods. 144-159 - Reinhard Bündgen:
Proof Transformation for Non-Compatible Rewriting. 160-175 - Christopher Lynch, Polina Strogova:
PATCH Graphs: An Efficient Data Structure for Completion of Finitely Presented Groups. 176-190 - Brian J. Dupée:
Measuring the Likely Effectiveness of Strategies. 191-196 - Robert Rodosek:
A New Approach on Solving 3-Satisfiability. 197-212 - Dongming Wang:
Geometry Machines: From AI to SMC. 213-239 - Johannes Ueberberg:
Interactive Theorem Proving and Finite Projective Planes. 240-257 - Michael Joswig:
Towards Modelling the Topology of Homogeneous Manifolds by Means of Symbolic Computation. 258-273 - Denis Bouhineau:
Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver. 274-288 - Viorica Sofronie:
Towards a Sheaf Semantics for Cooperating Agents Scenarios. 289-304 - Vitaly Telerman, Dmitry Ushakov:
Data Types in Subdefinite Models. 305-319 - Nirina Andrianarivelo, Wadoud Bousdira, Jean-Marc Talbot:
On Theorem-Proving in Horn Theories with Built-in Algebras. 320-338 - Elmar Eder:
Backward Reasoning in Systems with Cut. 339-353 - Jan A. Plaza:
Soundness and Completeness versus Lifting Property. 354-364 - Antonio Gavilanes, Javier Leach, Pedro J. Martín, Susana Nieva:
Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux. 365-379
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-08-16 00:37 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
