Tableaux 200 (8 Ergebnisse)
Automated Reasoning With Analytic Tableaux and Related Methods : International Conference, Tableaux 2000, st Andrews, Scotland, Uk, July 3-7, 2000 : Proceedings
Tableaux 200 (2000 St. Andrews, Scotland); Dyckhoff, Roy (EDT)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 56,50
EUR 2,31 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Automated Reasoning With Analytic Tableaux and Related Methods : International Conference, Tableaux 2003, Rome, Italy, September 9-12, 2003 : Proceedings
Tableaux 200 (2003 Rome, Italy); Cialdea Mayer, Marta; Pirri, Fiora
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 56,50
EUR 2,31 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Automated Reasoning With Analytic Tableaux and Related Methods : International Conference, Tableaux 2003, Rome, Italy, September 9-12, 2003 : Proceedings
Tableaux 200 (2003 Rome, Italy); Cialdea Mayer, Marta; Pirri, Fiora
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 59,94
EUR 2,31 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Automated Reasoning With Analytic Tableaux and Related Methods : International Conference, Tableaux 2000, st Andrews, Scotland, Uk, July 3-7, 2000 : Proceedings
Tableaux 200 (2000 St. Andrews, Scotland); Dyckhoff, Roy (EDT)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 60,41
EUR 2,31 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Automated Reasoning With Analytic Tableaux and Related Methods : International Conference, Tableaux 2000, st Andrews, Scotland, Uk, July 3-7, 2000 : Proceedings
Tableaux 200 (2000 St. Andrews, Scotland); Dyckhoff, Roy (EDT)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,90
EUR 17,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Automated Reasoning With Analytic Tableaux and Related Methods : International Conference, Tableaux 2003, Rome, Italy, September 9-12, 2003 : Proceedings
Tableaux 200 (2003 Rome, Italy); Cialdea Mayer, Marta; Pirri, Fiora
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,34
EUR 17,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Automated Reasoning With Analytic Tableaux and Related Methods : International Conference, Tableaux 2003, Rome, Italy, September 9-12, 2003 : Proceedings
Tableaux 200 (2003 Rome, Italy); Cialdea Mayer, Marta; Pirri, Fiora
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 66,34
EUR 17,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Automated Reasoning With Analytic Tableaux and Related Methods : International Conference, Tableaux 2000, st Andrews, Scotland, Uk, July 3-7, 2000 : Proceedings
Tableaux 200 (2000 St. Andrews, Scotland); Dyckhoff, Roy (EDT)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 67,25
EUR 17,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
