• 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 15 matches

• 1985
• 
  Alexandru T. Balaban:
  Symbolic Computation and Chemistry. European Conference on Computer Algebra (1) 1985: 68-79
• 
  Thomas Beth:
  Algebraic and Symbolic Computation in Digital Signal Processing, Coding and Cryptography. European Conference on Computer Algebra (1) 1985: 93-101
• 
  Alan W. Biermann:
  Algorithmic Methods in Automatic Programming. European Conference on Computer Algebra (1) 1985: 124-135
• 
  Bob F. Caviness:
  Computer Algebra: Past and Future. European Conference on Computer Algebra (1) 1985: 1-18
• 
  Thierry Coquand, Gérard P. Huet:
  Constructions: A Higher Order Proof System for Mechanizing Mathematics. European Conference on Computer Algebra (1) 1985: 151-184
• 
  J.-M. Drouffe:
  Computer Algebra as a Research Tool in Physics. European Conference on Computer Algebra (1) 1985: 58-67
• 
  Erwin Engeler, Roman E. Mäder:
  Scientific Computation: The Integration of Symbolic, Numeric and Graphic Computation. European Conference on Computer Algebra (1) 1985: 185-200
• 
  Georg Kreisel:
  Proof Theory and the Synthesis of Programs: Potential and Limitations. European Conference on Computer Algebra (1) 1985: 136-150
• 
  Ulrich W. Kulisch:
  A New Arithmetic for Scientific Computation with Exact Evaluation of Expressions. European Conference on Computer Algebra (1) 1985: 114-123
• 
  N. Joachim Lehmann:
  Computer Algebra and Practical Analysis. European Conference on Computer Algebra (1) 1985: 102-113
• 
  Thomas Ottmann:
  Computational Geometry: Selected Algorithms and Paradigms. European Conference on Computer Algebra (1) 1985: 80-92
• 
  Julian A. Padget:
  Current Developments in LISP. European Conference on Computer Algebra (1) 1985: 45-57
• 
  Richard Pavelle:
  MACSYMA: Capabilities and Applications to Problems in Engineering and the Sciences. European Conference on Computer Algebra (1) 1985: 19-32
• 
  David R. Stoutmeyer:
  A Preview of the Next IBM-PC Version of muMATH. European Conference on Computer Algebra (1) 1985: 33-44
• 
  Bruno Buchberger:
  EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 1: Invited Lectures. Lecture Notes in Computer Science 203, Springer 1985, ISBN 3-540-15983-5 [contents]