Tableaux 2000 Staff

Tableaux 2000 Staff is the author of "Automated Reasoning with Analytic Tableaux and Related Methods".

Books by Tableaux 2000 Staff

Automated Reasoni...
Tableaux 2000 Staff
Paperback: $54.99