Baaz, Matthias (Autor)
Leitsch, Alexander (Autor)
Methods of Cut-Elimination

Beschreibung
Produktdetails
ISBN/GTIN | 978-94-007-0320-9 |
---|---|
Seitenzahl | 290 S. |
Kopierschutz | mit Wasserzeichen |
Dateigröße | 2500 Kbytes |