CORE

🇺🇦   make metadata, not war

    1 research outputs found

    A multi-clause dynamic deduction algorithm based on standard contradiction separation rule

    Author
    Publication venue
    'Elsevier BV'
    Publication date
    Field of study
    Get PDF
    Crossref
    Ulster University's Research Portal
    corecore