neural networks (computer science) formal methods (computer science). neural networks, computer algorithms (computer science) data recovery (computer science) query languages (computer science) reliability (computer science) natural language processing (computer science) data structures (computer science) expert systems (computer science)