Conferences in DBLP

Artificial Intelligence and Symbolic Computation (AISC) (aisc)
1994 (conf/aisc/1994)

1. Johannes Ueberberg
   Interactive Theorem Proving and Computer Algebra. [Citation Graph (0, 0)][DBLP]
   AISMC, 1994, pp:1-9 [Conf]
   
2. Ashutosh Rege, John F. Canny
   A Practical Algorithm for Geometric Theorem Proving. [Citation Graph (0, 0)][DBLP]
   AISMC, 1994, pp:10-17 [Conf]
   
3. Karsten Homann, Jacques Calmet
   Combining Theorem Proving and Symbolic Mathematical Computing. [Citation Graph (0, 0)][DBLP]
   AISMC, 1994, pp:18-29 [Conf]
   
4. 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]
   
5. Myles Chippendale
   Planning a Proof of the Intermediate Value Theorem. [Citation Graph (0, 0)][DBLP]
   AISMC, 1994, pp:48-63 [Conf]
   
6. 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]
   
7. Gregory Butler
   Datalog and TwoGroups and C++. [Citation Graph (1, 0)][DBLP]
   AISMC, 1994, pp:80-92 [Conf]
   
8. 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]
   
9. Siani Baker, Alan Smaill
   A Proof Environment for Arithmetic with the Omega Rule. [Citation Graph (0, 0)][DBLP]
   AISMC, 1994, pp:115-130 [Conf]
   
10. Stephan A. Missura, Andreas Weber
    Using Commutativity Properties for Controlling Coercions. [Citation Graph (0, 0)][DBLP]
    AISMC, 1994, pp:131-143 [Conf]
    
11. Stephan A. Missura
    Theories = Signatures + Propositions Used as Types. [Citation Graph (0, 0)][DBLP]
    AISMC, 1994, pp:144-155 [Conf]
    
12. Stéphane Collart, Daniel Mall
    The Ideal Structure of Gröbner Base Computations. [Citation Graph (0, 0)][DBLP]
    AISMC, 1994, pp:156-166 [Conf]
    
13. 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]
    
14. Vitaly Telerman
    Propagation of Mathematical Constraints in Subdefinite Models. [Citation Graph (0, 0)][DBLP]
    AISMC, 1994, pp:191-208 [Conf]
    
15. Reinhard Bündgen
    Combining Computer Algebra and Rule Based Reasoning. [Citation Graph (0, 0)][DBLP]
    AISMC, 1994, pp:209-223 [Conf]
    
16. 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]
    
17. David J. Nettleton, Roberto Garigliano
    Subsymbolic Processing using Adaptive Algorithms. [Citation Graph (0, 0)][DBLP]
    AISMC, 1994, pp:244-254 [Conf]
    
18. 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]
    
19. 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]