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 .








    Top: Computers: Computer Science: People

E


  • 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


  
Twitter