Nicht lieferbar
Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science, Vol. 6.
Versandkostenfrei!
Nicht lieferbar
Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science, Vol. 6.