The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002