Theorem Proving in Higher Order Logics | Kaicus Deutschland

Theorem Proving in Higher Order Logics

53.49 EUR

Marke: Springer
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
53.49 EUR 53.49 EUR
03-06-2026 23:52:59