Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schlo?? Rheinfels, St. Goar, Germany, May 7 - 10, ... (Lecture Notes in Computer Science)

Binding: Paperback
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN: 3540593381
ISBN-13: 9783540593386
Released: 26 Apr 1995
RRP: ~~£42.50~~

Customer Reviews

Sorry - there are currently no reviews for this product.

Below are some of the current bestsellers - click them for a price comparison and find the cheapest place to buy!