|
|
Details: |
|
|
Mathematical Foundations of Computer Science.
|
URL: |
http://www-mgi.informatik.rwth-aachen.de/
|
Title: |
MGI - Mathematical Foundations of Computer Science |
Image: |
|
Description: |
Science, Math, Logic and Foundations, Institutions - Aachen. Mathematical Foundations of Computer Science. |
Similar: |
|
|
|
Related Sites |
|
Stanford (Popularity: ): Logic Group.
(Austria) Vienna University of Technology (Popularity: ): Group in Applications of Formal Logic.
(Finland) Helsinki (Popularity: ): Logic Group.
(Spain) Universidad Politécnica de Madrid (Popularity: ): Computational Logic, Implementation, and Parallelism Lab.
SRI International (Popularity: ): Computer Science Laboratory: Formal Methods and Dependable Systems; Rewriting Logics and Systems.
(Austria) Linz - Hagenberg (Popularity: ): Fuzzy Logic Laboratorium, Softwarepark Hagenberg / Johannes Kepler Universität. Lectures, seminars, publications, staff, projects, other resources.
(Russia) St. Petersburg (Popularity: ): Laboratory of Mathematical Logic of the Steklov Institute of Mathematics.
(Netherlands) Amsterdam (Popularity: ): Institute for Logic, Language and Computation.
(Austria) University of Vienna (Popularity: ): Department of Formal Logic.
The Logic Daemon (Popularity: ): On-line proof checker, and texts.
|
|
Popular Sites |
|
|
Related Press |
|
|
|