Math: Logic and Foundations: People: Students and Independent Scholars: Flannery, Ryan

Submitted: Sat Sep 06 2003
Title:

Description: University of Cincinnati - satisfiability, first-order and temporal logic, computer science.

Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people