6142598
9783540644064
Out of Stock
The item you're looking for is currently unavailable.
De Swart, H. is the author of 'Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEUX' 98, Oisterwijk, The Netherlands, May 1998 Proceedings', published 1998 under ISBN 9783540644064 and ISBN 3540644067.
[read more]