VLB Suche
Suche in den Daten des Verzeichnisses lieferbarer Bücher (VLB)
Drucken
Suchergebnisse
Produktdetails
- Autor
- Herausgegeben von Ewing Lusk, Herausgegeben von Ross Overbeek
9th International Conference on Automated Deduction
- Untertitel
- Argonne, Illinois, USA, May 23-26, 1988. Proceedings
- Verlag
- Springer Berlin
- ISBN/EAN
- 978-3-540-39216-3
- Preis
- 96,29 EUR
- Status
- lieferbar
