Springer 7 16 2003 (1 Ergebnisse)

Verlag:

Automated Deduction - Cade-19: 19th International Conference on Automated Deduction Miami Beach, Fl, Usa, July 28 - August 2, 2003, Proceedings (Paperback or Softback)
Baader, Franz
Sprache: Englisch
Verlag: Springer 7/16/2003, 2003
3540405593 / 9783540405597
- Softcover
Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 60,29
Versand gratis
Versand innerhalb von USA
Anzahl: 5 verfügbar
Paperback or Softback. Zustand: New. Automated Deduction - Cade-19: 19th International Conference on Automated Deduction Miami Beach, Fl, Usa, July 28 - August 2, 2003, Proceedings. Book.
Entdecken Sie mehr von Franz Baader
Entdecken Sie ihre veröffentlichten Werke und Sammlerangebote.Franz Baader entdecken

Automated Deduction - Cade-19: 19th International Conference on Automated Deduction Miami Beach, Fl, Usa, July 28 - August 2, 2003, Proceedings (Paperback or Softback)