Resolution Proof Systems: An Algebraic Theory by Z. Stachniak (English) Paperbac
126,24 €
By Z. Stachniak. Author Z. Stachniak. The material is suitable as a reference book for researchers and as a text book for graduate courses on the theoretical aspects of automated reasoning and computational logic.
Jetzt bei Ebay:
