Pastāsti draugiem par šo preci:
Tableau, Tableauresolution und Tableaugraphresolution: Ein neuer Weg zur Automatischen Deduktion Wanlin Li
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Wanlin Li izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Tableau, Tableauresolution und Tableaugraphresolution: Ein neuer Weg zur Automatischen Deduktion
Wanlin Li
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1991. gada 1. oktobris |
| ISBN13 | 9783631440018 |
| Izdevēji | Peter Lang GmbH, Internationaler Verlag |
| Izmēri | 150 × 220 × 10 mm · 180 g |
| Valoda | Vācu |
