Automated Theorem Proving
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert Automated Theorem Proving (Artificial Intelligence): A Logical Basis (Künstliche Intelligenz)
99.59 EUR
Preis aktualisiert am: 13-05-2026 19:31:38
99.59 EUR
Preis aktualisiert am: 13-05-2026 19:31:38 
SpringerLink DE
Gesponsert Automated Theorem Proving
106.99 EUR
Preis aktualisiert am: 13-05-2026 14:34:12
106.99 EUR
Preis aktualisiert am: 13-05-2026 14:34:12 | Bezeichner | |
|---|---|
| ISBN | Wolfgang Bibel 3528185201 |
| MPN | Wolfgang Bibel biography |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Wolfgang Bibel
