default search action
2nd AISMC 1994: Cambridge, UK
- Jacques Calmet, John A. Campbell:
Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers. Lecture Notes in Computer Science 958, Springer 1995, ISBN 3-540-60156-2 - Johannes Ueberberg:
Interactive Theorem Proving and Computer Algebra. 1-9 - Ashutosh Rege, John F. Canny:
A Practical Algorithm for Geometric Theorem Proving. 10-17 - Karsten Homann, Jacques Calmet:
Combining Theorem Proving and Symbolic Mathematical Computing. 18-29 - Y. V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov, M. S. Lvov:
Tools for Solving Problems in the Scope of Algebraic Programming. 30-47 - Myles Chippendale:
Planning a Proof of the Intermediate Value Theorem. 48-63 - Peter Madden, Ian Green:
A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans. 64-79 - Gregory Butler:
Datalog and TwoGroups and C++. 80-92 - Pierre Jumpertz:
Linear Logic and Real Closed Fields: a Way to Handle Situations Dynamically. 93-114 - Siani Baker, Alan Smaill:
A Proof Environment for Arithmetic with the Omega Rule. 115-130 - Stephan A. Missura, Andreas Weber:
Using Commutativity Properties for Controlling Coercions. 131-143 - Stephan A. Missura:
Theories = Signatures + Propositions Used as Types. 144-155 - Stéphane Collart, Daniel Mall:
The Ideal Structure of Gröbner Base Computations. 156-166 - Jochen Pfalzgraf, Ute Cornelia Sigmund, Karel Stokkermans:
Modeling Cooperating Agents Scenarios by Deductive Planning Methods and Logical Fiberings. 167-190 - Vitaly Telerman:
Propagation of Mathematical Constraints in Subdefinite Models. 191-208 - Reinhard Bündgen:
Combining Computer Algebra and Rule Based Reasoning. 209-223 - Shusaku Tsumoto, Hiroshi Tanaka:
Algebraic Specification of Empirical Inductive Learning Methods based on Rough Sets and Matroid Theory. 224-243 - David J. Nettleton, Roberto Garigliano:
Subsymbolic Processing using Adaptive Algorithms. 244-254 - 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. 255-263 - Alexander L. Semenov, Alexander B. Babichev, Alexander S. Leshchenko:
Subdefinite Computations and Symbolic Transformations in the UniCalc Solver. 264-275
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.