EUR 19,67
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 298 Illus.
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Sprache: Englisch
Verlag: Research Studies Press Ltd., 2000
ISBN 10: 0863802524 ISBN 13: 9780863802522
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 49,75
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. xiii + 407 Illus.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 48,42
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,63
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,63
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,63
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,63
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,63
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,63
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,63
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,63
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,63
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2023
ISBN 10: 3031433688 ISBN 13: 9783031433689
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 72,52
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 291 pages. 9.25x6.10x0.61 inches. In Stock.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 72,86
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 72,86
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 74,67
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 390 pages. 9.26x6.11x9.21 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2007
ISBN 10: 354074620X ISBN 13: 9783540746201
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 79,66
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 283 pages. 9.00x6.00x0.75 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,58
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2013 edition. 370 pages. 9.20x6.10x0.79 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2014
ISBN 10: 9401066434 ISBN 13: 9789401066433
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 81,13
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1996 edition. 410 pages. 9.25x6.10x0.98 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2009
ISBN 10: 364204221X ISBN 13: 9783642042218
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 81,61
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 382 pages. 9.00x6.00x0.75 inches. In Stock.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 85,09
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer Nature Switzerland, 2023
ISBN 10: 3031433688 ISBN 13: 9783031433689
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023.The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They aregrouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving.This is an open access book.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29 October 1, 2025.The 21 full papers included in the proceedings were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: Description logics; beyond classical logic; satisfiability modulo theories; term rewrite systems; theorem proving; specific reasoning procedures; and proof checking.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2011
ISBN 10: 3642243630 ISBN 13: 9783642243639
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 99,44
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2011 edition. 284 pages. 9.25x6.10x0.64 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing, 2017
ISBN 10: 3319661663 ISBN 13: 9783319661667
Anbieter: moluna, Greven, Deutschland
EUR 61,55
Anzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
Taschenbuch. Zustand: Neu. Frontiers of Combining Systems | 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 - October 1, 2025, Proceedings | René Thiemann (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xix | Englisch | 2025 | Springer | EAN 9783032041661 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Frontiers of Combining Systems | 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings | Uli Sattler (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2023 | Springer | EAN 9783031433689 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2017
ISBN 10: 3319661663 ISBN 13: 9783319661667
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 100,71
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 364 pages. 9.25x6.10x0.91 inches. In Stock.
Zustand: New.