ISBN: 9783540407874 - automated reasoning with analytic tableaux and related methods: international conference, tableaux 2003, rome, italy, september 9-12, 2003. ... notes in computer science, 2796, band 2796) (1 Ergebnisse)
von Marta Cialdea Mayer und Maria Fiora Pirri
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 68,08
EUR 17,95 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
