Directory > Science > Math > Logic and Foundations > Directories Mathematical Logic and Foundations Section of Math Guide. http://www.MathGuide.de/cgi-bin/ssgfi/anzeige.pl?db=math&sc=03 Reviews Rating: Not yet Rated
Whois Check
Knowledge Representation With Automated Reasoning, Computational Logics and Advanced Databases. Projects, people, conferences and specific resources. http://www.cs.man.ac.uk/~franconi/kr.html Reviews Rating: Not yet Rated
Whois Check
Australian Logic Home Page Lists institutions, research groups and individuals; updated 1996. http://www.cse.unsw.edu.au/~ksg/AusLogic/ Reviews Rating: Not yet Rated
Whois Check
Logic on the World Wide Web Based on the compilation of Boris Piwinger (Mathematical Logic Group at the University of Bonn). http://www-phil.tamu.edu/Philosophy/logic.html Reviews Rating: Not yet Rated
Whois Check
Formal Logic Directory of encyclopedia articles and related websites. [epistemelinks.com] http://www.epistemelinks.com/Main/Topics.asp?TopicCode=Logi Reviews Rating: Not yet Rated
Whois Check
ASL members List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton. http://www.math.ucla.edu/~hbe/aslweb.html Reviews Rating: Not yet Rated
Whois Check
Logic Links Gustavus Philosophy Department. http://www.gac.edu/oncampus/academics/philosophy/llogic.html Reviews Rating: Not yet Rated
Whois Check
Stanford Encyclopedia of Logic Technology A compendium of information including theoretical material, an index to currently available technology, and a survey of applications. http://logic.stanford.edu/selt/selt.html Reviews Rating: Not yet Rated
Whois Check
Logic Page Maintained by Christian Gottschall, Vienna philosophy department. http://logik.phl.univie.ac.at/~chris/logic.html Reviews Rating: Not yet Rated
Whois Check
Logic and Set Theory Category of Topics in Mathematics (MathArchives). http://archives.math.utk.edu/topics/logic.html Reviews Rating: Not yet Rated
Whois Check
Description Logics Maintained by Carsten Lutz. http://dl.kr.org/ Reviews Rating: Not yet Rated
Whois Check
Computability Theory 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 Reviews Rating: Not yet Rated
Whois Check
Logic and Set Theory Groups and conferences. http://www.math.ufl.edu/~jal/orgs.html Reviews Rating: Not yet Rated
Whois Check
Logic Programming Section of WWW Virtual Library. http://www.comlab.ox.ac.uk/archive/logic-prog.html Reviews Rating: Not yet Rated
Whois Check
Mathematical Logic around the world A service provided by the Mathematical Logic Group in Bonn http://www.uni-bonn.de/logic/world.html Reviews Rating: Not yet Rated
Whois Check
Research groups in Logic and Theoretical Computer Science Maintained by Anton Setzer, Uppsala. http://www.math.uu.se/logik/logic-server/index.html Reviews Rating: Not yet Rated
Whois Check
|