Automated Deduction in Classical and Non-Classical Logics

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
Preis aktualisiert am: 22-04-2026 17:57:52
Siehe Produktangebot

Gesponsert Automated Deduction in Classical and Non-Classical Logics

53.49 EUR
Preis aktualisiert am: 22-04-2026 22:04:31
Siehe Produktangebot
Bezeichner
ISBN Ricardo Caferra 9783540671909
MPN Ricardo Caferra biography
Abmessungen / Gewicht
Hauptmerkmale
Ricardo Caferra