Tableaux 2000: Automated Reasoning with Analytic Tableaux and Related Methods

Roy Dyckhoff

Research output: Book/Report › Book

Access to Document

@book{95b1eb9541c14f5fb395d985f2dfca59,

title = "Tableaux 2000: Automated Reasoning with Analytic Tableaux and Related Methods",

author = "Roy Dyckhoff",

note = "In Series : Lecture Notes in Artificial Intelligence",

year = "2000",

doi = "10.1007/10722086",

language = "English",

isbn = "3-540-67697-X",

publisher = "Springer-Verlag",

address = "Germany",

}

TY - BOOK

T1 - Tableaux 2000: Automated Reasoning with Analytic Tableaux and Related Methods

AU - Dyckhoff, Roy

N1 - In Series : Lecture Notes in Artificial Intelligence

PY - 2000

Y1 - 2000

UR - http://www.dcs.st-and.ac.uk/research/publications/Dyc00a.php

U2 - 10.1007/10722086

DO - 10.1007/10722086

M3 - Book

SN - 3-540-67697-X

BT - Tableaux 2000: Automated Reasoning with Analytic Tableaux and Related Methods

PB - Springer-Verlag

ER -