Springer 4 29 1997 (1 Ergebnisse)

Verlag:

Mit der Detailsuche verfeinern

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'97, Pont-A-Mousson, France, May 13-16, 1997 Proceed (Paperback or Softback)
Galmiche, Didier
Sprache: Englisch
Verlag: Springer 4/29/1997, 1997
3540629203 / 9783540629207
- Softcover
Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 58,85
Versand nach gratis
Versand innerhalb von USA
Anzahl: 5 verfügbar
Paperback or Softback. Zustand: New. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'97, Pont-A-Mousson, France, May 13-16, 1997 Proceed. Book.