Automated Reasoning with Analytic Tableaux and Related Methods

    Research output: Book/ReportBook editingScientific

    1 Citation (Scopus)
    Original languageEnglish
    Place of PublicationHeidelberg
    PublisherSpringer Verlag
    Number of pages325
    ISBN (Print)3540644067
    Publication statusPublished - 1998

    Cite this