Formally Correct Deduction Methods for Computational Logic

    StatusActive
    Effective start/end date01/02/202031/01/2023