Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jan A. Plaza |
Soundness and Completeness versus Lifting Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 354-364, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Vitaly Telerman, Dmitry Ushakov |
Data Types in Subdefinite Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 305-319, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Brian J. Dupée |
Measuring the Likely Effectiveness of Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 191-196, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Dana S. Scott |
Symbolic Computation and Teaching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 1-20, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michael Joswig |
Towards Modelling the Topology of Homogeneous Manifolds by Means of Symbolic Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 258-273, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Bündgen |
Proof Transformation for Non-Compatible Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 160-175, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Ueberberg |
Interactive Theorem Proving and Finite Projective Planes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 240-257, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Bauer, Edmund M. Clarke, Xudong Zhao 0005 |
Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 21-37, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Elmar Eder |
Backward Reasoning in Systems with Cut. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 339-353, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Gavilanes, Javier Leach, Pedro J. Martín, Susana Nieva |
Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 365-379, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Nirina Andrianarivelo, Wadoud Bousdira, Jean-Marc Talbot |
On Theorem-Proving in Horn Theories with Built-in Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 320-338, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Benhamou, Laurent Granvilliers |
Combining Local Consistency, Symbolic Rewriting and Interval Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 144-159, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Gunther Reinhart, Rolf Diesch, Michael R. Koch |
Knowledge-Based Information Processing in Manufacturing Cells - The Present and the Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 109-123, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.) |
Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![Springer, 3-540-61732-9 The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Lynch, Polina Strogova |
PATCH Graphs: An Efficient Data Structure for Completion of Finitely Presented Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 176-190, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Dongming Wang 0001 |
Geometry Machines: From AI to SMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 213-239, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías |
An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 71-86, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Robert Rodosek |
A New Approach on Solving 3-Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 197-212, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Anthony G. Cohn 0001 |
Calculi for Qualitative Spatial Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 124-143, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Fátima C. C. Dargam |
Compromised Updates in Labelled Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 49-70, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra |
Document Recognition, Semantics, and Symbolic Reasoning in Reverse Engineering of Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 38-48, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Viorica Sofronie |
Towards a Sheaf Semantics for Cooperating Agents Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 289-304, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Denis Bouhineau |
Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 274-288, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Dillmann, Holger Friedrich 0002 |
Programming by Demonstration: A Machine Learning Approach to Support Skill Acquisiton for Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 87-108, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Gregory Butler |
Datalog and TwoGroups and C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers, pp. 80-92, 1994, Springer, 3-540-60156-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Ueberberg |
Interactive Theorem Proving and Computer Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers, pp. 1-9, 1994, Springer, 3-540-60156-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Stephan A. Missura |
Theories = Signatures + Propositions Used as Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers, pp. 144-155, 1994, Springer, 3-540-60156-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Vitaly Telerman |
Propagation of Mathematical Constraints in Subdefinite Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers, pp. 191-208, 1994, Springer, 3-540-60156-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Collart, Daniel Mall |
The Ideal Structure of Gröbner Base Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers, pp. 156-166, 1994, Springer, 3-540-60156-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Eugenio Roanes-Macías |
An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers, pp. 255-263, 1994, Springer, 3-540-60156-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | David J. Nettleton, Roberto Garigliano |
Subsymbolic Processing using Adaptive Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers, pp. 244-254, 1994, Springer, 3-540-60156-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Y. V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov, M. S. Lvov |
Tools for Solving Problems in the Scope of Algebraic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers, pp. 30-47, 1994, Springer, 3-540-60156-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Alexander L. Semenov, Alexander B. Babichev, Alexander S. Leshchenko |
Subdefinite Computations and Symbolic Transformations in the UniCalc Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers, pp. 264-275, 1994, Springer, 3-540-60156-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jochen Pfalzgraf, Ute Cornelia Sigmund, Karel Stokkermans |
Modeling Cooperating Agents Scenarios by Deductive Planning Methods and Logical Fiberings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers, pp. 167-190, 1994, Springer, 3-540-60156-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Peter Madden, Ian Green |
A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers, pp. 64-79, 1994, Springer, 3-540-60156-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Shusaku Tsumoto, Hiroshi Tanaka |
Algebraic Specification of Empirical Inductive Learning Methods based on Rough Sets and Matroid Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers, pp. 224-243, 1994, Springer, 3-540-60156-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Karsten Homann, Jacques Calmet |
Combining Theorem Proving and Symbolic Mathematical Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers, pp. 18-29, 1994, Springer, 3-540-60156-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Stephan A. Missura, Andreas Weber 0004 |
Using Commutativity Properties for Controlling Coercions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers, pp. 131-143, 1994, Springer, 3-540-60156-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ashutosh Rege, John F. Canny |
A Practical Algorithm for Geometric Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers, pp. 10-17, 1994, Springer, 3-540-60156-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Myles Chippendale |
Planning a Proof of the Intermediate Value Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers, pp. 48-63, 1994, Springer, 3-540-60156-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Jumpertz |
Linear Logic and Real Closed Fields: a Way to Handle Situations Dynamically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers, pp. 93-114, 1994, Springer, 3-540-60156-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Bündgen |
Combining Computer Algebra and Rule Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers, pp. 209-223, 1994, Springer, 3-540-60156-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Siani Baker, Alan Smaill |
A Proof Environment for Arithmetic with the Omega Rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers, pp. 115-130, 1994, Springer, 3-540-60156-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Éric Monfroy |
Gröbner Bases: Strategies and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings, pp. 133-151, 1992, Springer, 3-540-57322-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Waldir L. Roque |
Learning Qualitative Physics Reasoning from Regime Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings, pp. 277-293, 1992, Springer, 3-540-57322-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Calmet, Karsten Homann, Indra A. Tjandra |
Unified Domains and Abstract Computational Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings, pp. 166-177, 1992, Springer, 3-540-57322-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Sellen |
On the Topological Structure of Configuration Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings, pp. 50-64, 1992, Springer, 3-540-57322-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jan A. Plaza |
Gentzen-style Characterizations of Negation as Failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings, pp. 237-261, 1992, Springer, 3-540-57322-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Martin Charles Golumbic |
Reasoning About Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings, pp. 276, 1992, Springer, 3-540-57322-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Garigliano, David J. Nettleton |
Qualitative Mathematical Modeling of Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings, pp. 294-305, 1992, Springer, 3-540-57322-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Gregory Butler |
The Progress Towards an Intelligent Assistent - A Discussion Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings, pp. 107-115, 1992, Springer, 3-540-57322-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hoon Hong |
Heuristic Search Strategies for Cylindrical Algebraic Decomposion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings, pp. 152-165, 1992, Springer, 3-540-57322-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Larry Kerschberg, Anthony Waisanen |
A Cooperative Approach to Query Processing: Integrating Historical, Structural, and Behavioral Knowledge Sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings, pp. 214-223, 1992, Springer, 3-540-57322-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Calmet, John A. Campbell |
Artificial Intelligence and Symbolic Mathematical Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings, pp. 1-19, 1992, Springer, 3-540-57322-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Schwärzler |
An Algebraic Approach to Knowledge-Based Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings, pp. 85-95, 1992, Springer, 3-540-57322-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Reiner Hähnle |
A New Translation from Deduction into Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings, pp. 262-275, 1992, Springer, 3-540-57322-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Peter B. Ladkin, Alexander Reinefeld |
A Symbolic Approach to Interval Constraint Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings, pp. 65-84, 1992, Springer, 3-540-57322-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Peter Struss |
Qualitative Modeling of Physical Systems in AI Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings, pp. 20-49, 1992, Springer, 3-540-57322-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Michael E. Clarkson |
Intelligent User Interfaces for Symbolic and Numeric Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings, pp. 96-106, 1992, Springer, 3-540-57322-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Koepf |
Algorthmic Development of Power Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings, pp. 195-213, 1992, Springer, 3-540-57322-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jochen Pfalzgraf |
On Mathematical Modeling in Robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings, pp. 116-132, 1992, Springer, 3-540-57322-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Weber 0004 |
A Type-Coercion Problem in Computer Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings, pp. 188-194, 1992, Springer, 3-540-57322-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Gianna Cioni, Attilio Colagrossi, Alfonso Miola |
A Desk-Top Sequent Calculus Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings, pp. 224-236, 1992, Springer, 3-540-57322-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Eugen E. Ardeleanu |
Completion and Invariant Theory in Symbolic Computation and Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings, pp. 178-187, 1992, Springer, 3-540-57322-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|