AtomSeek the directory or science  

Math: Logic and Foundations: Software: Automated Reasoning Project
  Home : Math : Logic and Foundations : Software :
Submitted: Sat Sep 06 2003
Title: Automated Reasoning Project
URL: http://cslab.anu.edu.au/ar/
CT: Math: Logic and Foundations: Software: Automated Reasoning Project

 

Description: Web resource provided by research group. Includes access to software developed by the team, coverering such projects as FINDER (Finite Domain Enumerator), MaGIC (Matrix Generator for Implication Connectives) and Kripke (A theorem prover for the relevant logic LR).
Detailed Traffic Statistic From Alexa
Detailed Traffic Statistic From Alexa

 
  Previous      Next

  HOME | ADD A LINK | MODIFY A LINK | LOGIN


© atomseek.com
Website Development by MIRO

UFOseek.com - Directory, Community and News. UFO Seek Forum  is a growing community for discussion of UFO-Paranormal, mysterious and unexplained topics.