Autorenfreundlich Bücher kaufen?!
Beschreibung
Mathematical Logic, Automated Theorem Proving, Inference, Propositional Calculus, First-Order Logic, Propositional Formula, John Alan Robinson, Modus Ponens
Details
| Verlag | OmniScriptum |
| Ersterscheinung | 16. März 2026 |
| Maße | 22 cm x 15 cm x 0.8 cm |
| Gewicht | 203 Gramm |
| Format | Softcover |
| ISBN-13 | 9786130343170 |
| Seiten | 124 |