Web Directory >> Science and Technology >> Mathematics >> Logic and Foundations >> People >> Students and Independent Scholars
Students and Independent Scholars (Subscribe)
Links
Flannery, RyanUniversity of Cincinnati - satisfiability, first-order and temporal logic, computer science.
|