Chang, Chin-Liang (Autor)
Lee, Richard Char-Tung (Autor)
Symbolic Logic and Mechanical Theorem Proving
Beschreibung
Produktdetails
| ISBN/GTIN | 978-0-08-091728-3 |
|---|---|
| Seitenzahl | 331 S. |
| Kopierschutz | Digital Rights Management |
| Dateigröße | 14842 Kbytes |