Superposition-based Decision Procedures for Minimal Models

89.90 EUR

Ein Leitfaden, der die Superpositionstheorie auf minimalen Modellen anwendet, praktische Beweisstrategien für feste Domänen präsentiert und zugleich theoretische Grundlagen vertieft.

ISBN: 3838128028
SKU: ACOUK_book_new_3838128028
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen