Relational proof systems for spatial reasoning ★ (Q3647246)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Relational proof systems for spatial reasoning ★
scientific article

    Statements

    Identifiers