Springer 4 26 1995 (1 Ergebnisse)

Verlag:

Mit der Detailsuche verfeinern

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloï¿½ Rheinfels, St. Goar, Germany, May 7 - 10, (Paperback or Softback)
Baumgartner, Peter
Sprache: Englisch
Verlag: Springer 4/26/1995, 1995
3540593381 / 9783540593386
- Softcover
Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 60,57
Versand gratis
Versand innerhalb von USA
Anzahl: 5 verfügbar
Paperback or Softback. Zustand: New. Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloï¿½ Rheinfels, St. Goar, Germany, May 7 - 10. Book.