Description: University of Liverpool - Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic.
Open forum for all scientific topics! Excellent source of information to study. This forum is place to talk with interesting people