: A Resolution-Based Prover for Multimodal K (Q2817940)

From MaRDI portal





scientific article
Language Label Description Also known as
English
: A Resolution-Based Prover for Multimodal K
scientific article

    Statements

    Identifiers