jasminecorp.net directory
Updated Blogs
More .....



 
 

| Add Search | Advertise With JCSearch | Suggest a Site

Search the Web


Search Results

Institutions
Directory > Science > Math > Logic and Foundations > Institutions

Categories
 
Europe (43) North America (18)

Web Sitesi

(Colombia) Bogotá
Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes).
http://www.matematicas.unal.edu.co/villaveces/logica.html
Reviews Rating: Not yet Rated Whois Check

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 technology.

http://www.linearity.org/
Reviews Rating: Not yet Rated Whois Check

(Japan) Kobe
Foundations of Mathematics and Computer Science.
http://kurt.cla.kobe-u.ac.jp/
Reviews Rating: Not yet Rated Whois Check

(Israel) Ben Gurion University of the Negev
Mathematical and Computational Logic Research Group.
http://www.cs.bgu.ac.il/~kojman/BGULOGIC.html
Reviews Rating: Not yet Rated Whois Check

(Israel) Haifa
Logic Seminar.
http://www.cs.technion.ac.il/~admlogic/lcoll.html
Reviews Rating: Not yet Rated Whois Check

(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.

http://cslab.anu.edu.au/ar/
Reviews Rating: Not yet Rated Whois Check

 


Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp.

©2004 Jasmine Computers Inc.

Click here to subscribe for Jasminecorp's product News.

Home | JCBid |Software Development | Domain Registration | Hosting | Web Designing | Buy Books | Advertise with JCSearch | Whois | IP Locator | Add Search | Shopping | Store | Free Blogs | Free GuestBook | Free E-Cards | Free Games | Free Tutorials | Set as Home | Add to Favorite | Suggest a Site | Directory | Our Portfolio | Terms of service | Free quote | Tell a Friend | Special Offer | Job Opportunities | games | Usenet Groups

Submit a Site to Jasminecorp.net Directory || Advertise with us

 

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Get a Domain Name:
.com .us .info
.org .in .name
.net .biz .asia