Online Web Directory. Web Directory @ Expo Central.
Your Online Guide to the Global and Local Marketplace
Home | About us | Advertise | Contact Us

Science > Math > Logic and Foundations > Institutions

Web Directory

Google Adwords

Google Adwords allows businesses to advertise on any number of sites, including Expo Central, regardless of the size of their budget. Ad campaigns can be set up to target based on keywords, geographical location of the visitor, and/or individual web sites. They handle the most common sizes of ads and allow text, image or video.

Firefox with Google Toolbar

Mozilla Firefox is a web browser with pop-up blocking, tabbed browsing, and privacy and security features. Integration of the Google Toolbar into the Firefox download offers users even more features: Google search, SpellCheck, and Autofill.


Google Pack Software

Get the power of Google on your desktop PCs! Google Pack provides a single installer for many essential PC applications from Google and other trusted partners. These applications improve your browsing with increased speed and security, provide better searching capability for the web and for your own PC and enable you to collect and organize your personal data, including photos.

Home > Science > Math > Logic and Foundations > Institutions
Directory of Web Resources @ Expo Central : Institutions

Science > Math > Logic and Foundations > Institutions : Categories


Science > Math > Logic and Foundations > Institutions : Web Resources



Science > Math > Logic and Foundations > Institutions : Web-Sites


1. (Australia) Canberra [ Report dead link ]
Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems.
http://cslab.anu.edu.au/ar/
_


2. (Colombia) Bogotá [ Report dead link ]
Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes).
http://www.matematicas.unal.edu.co/villaveces/logica.html
_


3. (Israel) Ben Gurion University of the Negev [ Report dead link ]
Mathematical and Computational Logic Research Group.
http://www.cs.bgu.ac.il/~kojman/BGULOGIC.html
_


4. (Israel) Haifa [ Report dead link ]
Logic Seminar.
http://www.cs.technion.ac.il/~admlogic/lcoll.html
_


5. (Japan) Kobe [ Report dead link ]
Foundations of Mathematics and Computer Science.
http://kurt.cla.kobe-u.ac.jp/
_


6. Linear Naming and Computation [ Report dead link ]
A distributed research group associated with the Church Project working on the design and implementation of new forms of procedure calling protocols based on the notion of linear naming, together with relevant supporting formal tools and implementation technology.
http://www.linearity.org/
_


7. Logic at Leeds Homepage [ Report dead link ]
Information on the Leeds University Logic Group
http://www.amsta.leeds.ac.uk/pure/logic/
_
Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor


Science > Math > Logic and Foundations > Institutions : Web Resources

Google
[ Home | About us | Advertise | Contact Us ]