Automated Deduction in Classical and Non-Classical Logics

53.49 EUR

Marke: Ricardo Caferra

ISBN: 9783540671909

MPN: biography

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

Gesponsert Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science)

53.49 EUR 53.49 EUR

23-04-2026 06:08:23

Access to the deal

53.49 EUR 53.49 EUR

23-04-2026 09:13:49

Access to the deal