Intelligent Mathematical Databases.

@inproceedings{DBLP:conf/dasfaa/Butler95,
  author    = {Gregory Butler},
  editor    = {Tok Wang Ling and
               Yoshifumi Masunaga},
  title     = {Intelligent Mathematical Databases},
  booktitle = {Database Systems for Advanced Applications '95, Proceedings of
               the 4th International Conference on Database Systems for Advanced
               Applications (DASFAA), Singapore, April 11-13, 1995},
  publisher = {World Scientific},
  series    = {Advanced Database Research and Development Series},
  volume    = {5},
  year      = {1995},
  isbn      = {981-02-2220-3},
  pages     = {326-332},
  ee        = {db/conf/dasfaa/Butler95.html},
  crossref  = {DBLP:conf/dasfaa/95},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[1]

Hassan Aït-Kaci: An Overview of LIFE. East/West Database Workshop 1990: 42-58 BibTeX

[2]

Benjamin P. Berman, Richard J. Fateman: Optical Character Recognition for Typeset Mathematics. ISSAC 1994: 348-353 BibTeX

[3]

Gregory Butler: Datalog and TwoGroups and C++. AISMC 1994: 80-92 BibTeX

[4]

Gregory Butler, John J. Cannon: Cayley, Version 4: The User Language. ISSAC 1988: 456-466 BibTeX

[5]

...

[6]

Gregory Butler, Sridhar S. Iyer, E. A. O'Brien: A Database of Groups of Prime-power Order. Softw., Pract. Exper. 24(10): 911-951(1994) BibTeX

[7]

...

[8]

...

[9]

Daniel K. C. Chan, Philip W. Trinder: Object Comprehensions: A Query Notation for Object-Oriented Databases. BNCOD 1994: 55-72 BibTeX

[10]

...

[11]

...

[12]

James C. French, Anita K. Jones, John L. Pfaltz: Summary of the Final Report of the NSF Workshop on Scientific Database Management. SIGMOD Record 19(4): 32-40(1990) BibTeX

[13]

...

[14]

...

[15]

...

[16]

...

[17]

...

[18]

Won Kim, Frederick H. Lochovsky (Eds.): Object-Oriented Concepts, Databases, and Applications. ACM Press and Addison-Wesley 1989, ISBN 0-201-14410-7
Contents BibTeX

[19]

Joel Moses: Symbolic Integration: The Stormy Decade. Commun. ACM 14(8): 548-560(1971) BibTeX

[20]

...

[21]

...

[22]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX

[23]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
Contents BibTeX

[24]

...