Cover Image

AN EQUIVALENCE OF SOME RESOLUTION STRATEGIES IN THEOREM PROVING

Bibliographic Details
Main Authors: Fiby, Rudolf (Author), Sudolský, Marián (Author), Weigl, Imrich (Author)
Format: Article
Language:English

Similar Items