People Computer Science Computers

University of Salzburg - Artificial intelligence, automated theorem proving, proof calculi and their complexities, logic programming, theoretical computer science, and complexity theory .

• Elmasri, Ramez - University of Texas in Arlington - Temporal databases, computer science conceptual modeling, object-oriented databases, systems integration, distributed and computer science multi-database systems, database models and languages, DBMS system computer science implemention, indexing techniques, software engi
• Eades, Peter - University of Sydney - Graph drawing, information visualization, e software visualization, algorithms.
• Eder, Elmar - University of Salzburg - Artificial intelligence, automated theorem computer science proving, proof calculi and their complexities, logic programming, computer science theoretical computer science, and complexity theory .
• Engelfriet, Joeri - Vrije Universiteit Amsterdam - Formal models for static e and dynamic people aspects of complex reasoning processes, temporal e logic, and belief revision.

   MySQL - Cache Direct