Loveland, D. W. (Autor)
Automated Theorem Proving: A Logical Basis
Beschreibung
Produktdetails
| ISBN/GTIN | 978-1-4832-9677-7 |
|---|---|
| Seitenzahl | 418 S. |
| Kopierschutz | Digital Rights Management |
| Dateigröße | 25496 Kbytes |