Isbn: 9783540193432 - 9th international conference on automated deduction: argonne, illinois, usa, may 23-26, 1988. proceedings (lecture notes in computer science) (lecture notes in computer science, 310, band 310) (2 Ergebnisse)
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 130,09
EUR 17,68 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In English.
- Softcover
Anbieter: Studibuch, Stuttgart, DeutschlandStudibuch
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 102,58
EUR 62,30 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
paperback. Zustand: Gut. 792 Seiten; 9783540193432.3 Gewicht in Gramm: 2.
