• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 20 matches

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