Automated Deduction - CADE-20
20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
CHF 120.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
- ISBN: 978-3-540-31864-4
- EAN: 9783540318644
- Produktnummer: 33398679
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2005
- Seitenangabe: 466 S.
- Plattform: PDF
- Masse: 5'277 KB
- Auflage: 2005
- Abbildungen: Bibliographie
5 weitere Werke von Robert (Hrsg.) Nieuwenhuis:
Bewertungen
Anmelden