Human edited web directory based on the DMOZ data. To find out more about this project please use the top main menu.
Sites 14
Loading new listings for you to review...
- Berkeley, University of California Group in Logic and the Methodology of Science.
- Pennsylvania, University of Logic and Computation Group.
- Las Cruces, New Mexico Laboratory for Logic,Databases and Advanced Programming.
- Michigan, University of Logic and Foundations.
- SRI International Computer Science Laboratory: Formal Methods and Dependable Systems; Rewriting Logics and Systems.
- University of Calgary Logic Research Group.
- Urbana-Champaign, University of Illinois Logic.
- New York, City University of Logic at CUNY and in the New York City region.
- University of Maryland at College Park Computer Science Department, Active Logic Group.
- Carnegie Mellon University Pure and Applied Logic.
- Indiana University Group in Pure and Applied Logic.
- Los Angeles, University of California Logic Center supports teaching and research in logic and its applications.
- Stanford Logic Group.
- Irvine, University of California Set theory.