Conferences in DBLP
Johannes Ueberberg Interactive Theorem Proving and Computer Algebra. [Citation Graph (0, 0)][DBLP ] AISMC, 1994, pp:1-9 [Conf ] Ashutosh Rege , John F. Canny A Practical Algorithm for Geometric Theorem Proving. [Citation Graph (0, 0)][DBLP ] AISMC, 1994, pp:10-17 [Conf ] Karsten Homann , Jacques Calmet Combining Theorem Proving and Symbolic Mathematical Computing. [Citation Graph (0, 0)][DBLP ] AISMC, 1994, pp:18-29 [Conf ] Y. V. Kapitonova , Alexander A. Letichevsky , Vladislav A. Volkov , M. S. Lvov Tools for Solving Problems in the Scope of Algebraic Programming. [Citation Graph (0, 0)][DBLP ] AISMC, 1994, pp:30-47 [Conf ] Myles Chippendale Planning a Proof of the Intermediate Value Theorem. [Citation Graph (0, 0)][DBLP ] AISMC, 1994, pp:48-63 [Conf ] Peter Madden , Ian Green A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans. [Citation Graph (0, 0)][DBLP ] AISMC, 1994, pp:64-79 [Conf ] Gregory Butler Datalog and TwoGroups and C++. [Citation Graph (1, 0)][DBLP ] AISMC, 1994, pp:80-92 [Conf ] Pierre Jumpertz Linear Logic and Real Closed Fields: a Way to Handle Situations Dynamically. [Citation Graph (0, 0)][DBLP ] AISMC, 1994, pp:93-114 [Conf ] Siani Baker , Alan Smaill A Proof Environment for Arithmetic with the Omega Rule. [Citation Graph (0, 0)][DBLP ] AISMC, 1994, pp:115-130 [Conf ] Stephan A. Missura , Andreas Weber Using Commutativity Properties for Controlling Coercions. [Citation Graph (0, 0)][DBLP ] AISMC, 1994, pp:131-143 [Conf ] Stephan A. Missura Theories = Signatures + Propositions Used as Types. [Citation Graph (0, 0)][DBLP ] AISMC, 1994, pp:144-155 [Conf ] Stéphane Collart , Daniel Mall The Ideal Structure of Gröbner Base Computations. [Citation Graph (0, 0)][DBLP ] AISMC, 1994, pp:156-166 [Conf ] Jochen Pfalzgraf , Ute Cornelia Sigmund , Karel Stokkermans Modeling Cooperating Agents Scenarios by Deductive Planning Methods and Logical Fiberings. [Citation Graph (0, 0)][DBLP ] AISMC, 1994, pp:167-190 [Conf ] Vitaly Telerman Propagation of Mathematical Constraints in Subdefinite Models. [Citation Graph (0, 0)][DBLP ] AISMC, 1994, pp:191-208 [Conf ] Reinhard Bündgen Combining Computer Algebra and Rule Based Reasoning. [Citation Graph (0, 0)][DBLP ] AISMC, 1994, pp:209-223 [Conf ] Shusaku Tsumoto , Hiroshi Tanaka Algebraic Specification of Empirical Inductive Learning Methods based on Rough Sets and Matroid Theory. [Citation Graph (0, 0)][DBLP ] AISMC, 1994, pp:224-243 [Conf ] David J. Nettleton , Roberto Garigliano Subsymbolic Processing using Adaptive Algorithms. [Citation Graph (0, 0)][DBLP ] AISMC, 1994, pp:244-254 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] AISMC, 1994, pp:255-263 [Conf ] Alexander Semenov , Alexander Babichev , Alexander Leshchenko Subdefinite Computations and Symbolic Transformations in the UniCalc Solver. [Citation Graph (0, 0)][DBLP ] AISMC, 1994, pp:264-275 [Conf ]