11:12 PM
Undergrounds Network - Top website directory and portal for celebrities, communities and free classified ads Perfect People and their Pictures - Celebrity pictures, posters, wallpapers, information and more. GnoMe Network - Express yourself with a free web page and profile Selit.net - FREE Classified Ads for every city and state in North America - Personals, Jobs, Auto, Business
Sign Up | Web | Discuss | Celebrities | People | Classifieds


Welcome to the NEW UGN (Undergrounds Network), formerly known as Undergrounds.com!
Browse our ever growing web directory or any of the other entertainment sites, absolutely free. Please note that some content has been sourced from the ODP.

Top / Science / Math / Logic and Foundations / Research Centers

Web SitesSuggest a Site
(Australia) Canberra
Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems.
(Colombia) Bogotá
Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes).
(Israel) Ben Gurion University of the Negev
Mathematical and Computational Logic Research Group.
(Israel) Haifa
Logic Seminar.
(Japan) Kobe
Foundations of Mathematics and Computer Science.
Linear Naming and Computation
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

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
SEO
Terms | Privacy | Contact
All images, logos and text are Copyright © 2012 Perfectpeople.net Inc. All Rights Reserved.