Web Links [Tag : Automated]
Tallinn, Estonia; 22--26 July 2005.
Date Added: Apr 24, 2009 Hits: Rating: 0.00 Votes: 0
Category:
Random Site Quote:
Classical Automated Reasoning
22nd July - 26th July, 2005
This workshop will bring together practioners and researchers who are
concerned with the implementation and deployment of working automated
reasoning systems for classical logic (propositional, first order, and
The focus is on classical
waiting for hand_moderation
waiting for hand_moderation
Date Added: Apr 24, 2009 Hits: Rating: 0.00 Votes: 0
Member Reviews
Visitor Ratings 
Google PR Main Category
Join Mailing List
Joining mailing list will entitle you
to receive occasional emails informing you of news and
updates to the site and any special offers that may be
of interest to you.
Top 10
Directory Statistics
Links: 229
Categories: 14
Pagerank Statistics
Yahoo News