Conferences in DBLP
Dana S. Scott Symbolic Computation and Teaching. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:1-20 [Conf ] Andrej Bauer , Edmund M. Clarke , Xudong Zhao Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:21-37 [Conf ] Gregory Butler , Peter Grogono , Rajjan Shinghal , Indra A. Tjandra Document Recognition, Semantics, and Symbolic Reasoning in Reverse Engineering of Software. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:38-48 [Conf ] Fétima C. C. Dargam Compromised Updates in Labelled Databases. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:49-70 [Conf ] Eugenio Roanes-Lozano , Luis M. Laita , Eugenio Roanes-Macías An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:71-86 [Conf ] Rüdiger Dillmann , Holger Friedrich Programming by Demonstration: A Machine Learning Approach to Support Skill Acquisiton for Robots. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:87-108 [Conf ] Gunther Reinhart , Rolf Diesch , Michael R. Koch Knowledge-Based Information Processing in Manufacturing Cells - The Present and the Future. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:109-123 [Conf ] Anthony G. Cohn Calculi for Qualitative Spatial Reasoning. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:124-143 [Conf ] Frédéric Benhamou , Laurent Granvilliers Combining Local Consistency, Symbolic Rewriting and Interval Methods. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:144-159 [Conf ] Reinhard Bündgen Proof Transformation for Non-Compatible Rewriting. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:160-175 [Conf ] Christopher Lynch , Polina Strogova PATCH Graphs: An Efficient Data Structure for Completion of Finitely Presented Groups. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:176-190 [Conf ] Brian J. Dupée Measuring the Likely Effectiveness of Strategies. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:191-196 [Conf ] Robert Rodosek A New Approach on Solving 3-Satisfiability. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:197-212 [Conf ] Dongming Wang Geometry Machines: From AI to SMC. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:213-239 [Conf ] Johannes Ueberberg Interactive Theorem Proving and Finite Projective Planes. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:240-257 [Conf ] Michael Joswig Towards Modelling the Topology of Homogeneous Manifolds by Means of Symbolic Computation. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:258-273 [Conf ] Denis Bouhineau Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:274-288 [Conf ] Viorica Sofronie Towards a Sheaf Semantics for Cooperating Agents Scenarios. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:289-304 [Conf ] Vitaly Telerman , Dmitry Ushakov Data Types in Subdefinite Models. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:305-319 [Conf ] Nirina Andrianarivelo , Wadoud Bousdira , Jean-Marc Talbot On Theorem-Proving in Horn Theories with Built-in Algebras. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:320-338 [Conf ] Elmar Eder Backward Reasoning in Systems with Cut. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:339-353 [Conf ] Jan A. Plaza Soundness and Completeness versus Lifting Property. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:354-364 [Conf ] Antonio Gavilanes , Javier Leach , Pedro J. Martín , Susana Nieva Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux. [Citation Graph (0, 0)][DBLP ] AISMC, 1996, pp:365-379 [Conf ]