North America : Institutions : Logic and Foundations : Mathematics : Science and Technology : Web Directory by Internet-Web-Directory.com

Skip to Content

Web Directory >> Science and Technology >> Mathematics >> Logic and Foundations >> Institutions >> North America

North America (Subscribe)

Links

Brigham Young University

http://lal.cs.byu.edu/

Laboratory for Applied Logic.

More Details Review It Rate It Bookmark It

SRI International

http://www.csl.sri.com/

Computer Science Laboratory: Formal Methods and Dependable Systems; Rewriting Logics and Systems.

More Details Review It Rate It Bookmark It

Stanford

http://logic.stanford.edu/

Logic Group.

More Details Review It Rate It Bookmark It