Home    |Web Directory    |Metasearch    |Message Boards    |Classified Ads|

Web Directory

Home

Web Directory

Metasearch

Message Boards

Classified Ads








Directories (11)

Sites:

http://www.math.ucla.edu/~hbe/aslweb.html
» ASL members Open in a new browser window
   List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton.
   http://www.math.ucla.edu/~hbe/aslweb.html
http://www.nd.edu/~cholak/computability/computability.html
» Computability Theory Open in a new browser window
   Information on this site includes a Bibliographic Database for Computability Theory, a list of Open Questions in Recursion Theory as well as links to many researchers working in the field. Maintained by Peter Cholak.
   http://www.nd.edu/~cholak/computability/computability.html
http://dl.kr.org/
» Description Logics Open in a new browser window
   Maintained by Carsten Lutz.
   http://dl.kr.org/
http://www.inf.unibz.it/~franconi/kr.html
» Knowledge Representation Open in a new browser window
   With Automated Reasoning, Computational Logics and Advanced Databases. Projects, people, conferences and specific resources.
   http://www.inf.unibz.it/~franconi/kr.html
http://gustavus.edu/academics/philosophy/llogic.html
» Logic Links Open in a new browser window
   Gustavus Philosophy Department.
   http://gustavus.edu/academics/philosophy/llogic.html
http://logik.phl.univie.ac.at/~chris/logic.html
» Logic Page Open in a new browser window
   Maintained by Christian Gottschall, Vienna philosophy department.
   http://logik.phl.univie.ac.at/~chris/logic.html
http://archives.math.utk.edu/topics/logic.html
» Logic and Set Theory Open in a new browser window
   Category of Topics in Mathematics (MathArchives).
   http://archives.math.utk.edu/topics/logic.html
http://world.logic.at/
» Mathematical Logic Around the World Open in a new browser window
   Compilation of links by Boris Piwinger.
   http://world.logic.at/
http://www.mathguide.de/cgi-bin/ssgfi/anzeige.pl?db=math&sc=03
» Mathematical Logic and Foundations Open in a new browser window
   Section of Math Guide.
   http://www.mathguide.de/cgi-bin/ssgfi/anzeige.pl?db=math&sc=03
http://www.cs.swan.ac.uk/~csetzer/logic-server/
» Research groups in Logic and Theoretical Computer Science Open in a new browser window
   Maintained by Anton Setzer, University of Wales Swansea.
   http://www.cs.swan.ac.uk/~csetzer/logic-server/

This category needs an editor

Last Updated: 2007-01-02 17:54:53





Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory and has been modified by GoSearchFor.com

Free previews by Thumbshots.org