Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Auflösungsnachweissysteme: Eine algebraische Theorie von Z. Stachniak (englisch) Hardcove

130,92 €

Resolution Proof Systems 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: