A generalized resolution theorem
From International Center for Computational Logic
A generalized resolution theorem
Pascal HitzlerPascal Hitzler
Pascal Hitzler
A generalized resolution theorem
Journal of Electrical Engineering, Slovak Academy of Sciences, 55(1--2):25-30, 2004
A generalized resolution theorem
Journal of Electrical Engineering, Slovak Academy of Sciences, 55(1--2):25-30, 2004
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@article{H2004,
author = {Pascal Hitzler},
title = {A generalized resolution theorem},
journal = {Journal of Electrical Engineering, Slovak Academy of Sciences},
volume = {55},
number = {1--2},
year = {2004},
pages = {25-30}
}