Skip to content

Research at St Andrews

Tableaux 2000: Automated Reasoning with Analytic Tableaux and Related Methods

Research output: Book/ReportBook

DOI

Details

Original languageEnglish
PublisherSpringer-Verlag
ISBN (Print)3-540-67697-X
DOIs
Publication statusPublished - 2000

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

ID: 170085

Top