Abstracting and Indexing
- AI Robotics Abstracts
- Abstracts in Human-Computer Interaction
- Cambridge Scientific Abstracts
- CompuScience
- Computer Abstracts
- Computer Literature Index
- Current Contents/CompuMath
- Current Contents/Engineering, Computing & Technology
- EMBASE
- Engineering Index
- INSPEC Information Services
- Mathematical Reviews
- Neuroscience Citation Index
- PsycINFO Psychological Abstracts
- Research Alert
- SCISEARCH
- Scopus
- Zentralblatt MATH
