Herzig Andreas Popescu Andrei (11 results)

- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 80.06
US$ 20.66 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.

- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 116.79
US$ 16.67 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 388 pages. 9.25x6.10x1.02 inches. In Stock.

Language: English
Published by Springer International Publishing, Springer International Publishing, 2019
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 81.82
US$ 71.90 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning with Analytic T…ableaux and Related Methods, TABLEAUX 2019. The 20 papers presented were carefully reviewed and selected from 30 submissions. They presentresearch on the development oftechniques and methods for the combination and integration of formal systems,their modularization and analysis. The papersare organized in the following topical sections:automated theoremproving and model building, combinations of systems, constraintsolving, description logics, interactive theorem proving, modal andepistemic logics, and rewriting and unification.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 75.13
US$ 79.96 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Frontiers of Combining Systems | 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings | Andreas Herzig (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2019 | Springer | EAN 9783030290061 | Verantwortliche Person für die EU: Springer Verla…g GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: New
US$ 141.51
US$ 33.35 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: New. New. book.

- Softcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
US$ 68.51
US$ 7.77 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.

Language: English
Published by Springer International Publishing Aug 2019, 2019
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 81.82
US$ 26.27 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning… with Analytic Tableaux and Related Methods, TABLEAUX 2019. The 20 papers presented were carefully reviewed and selected from 30 submissions. They presentresearch on the development oftechniques and methods for the combination and integration of formal systems,their modularization and analysis. The papersare organized in the following topical sections:automated theoremproving and model building, combinations of systems, constraintsolving, description logics, interactive theorem proving, modal andepistemic logics, and rewriting and unification. 388 pp. Englisch.

- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 116.44
US$ 8.67 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand.

- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 72.42
US$ 55.96 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Auto…mated Reasoning with Analytic Tableau.

- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 123.50
US$ 11.37 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND.

- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 81.82
US$ 68.54 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning wit…h Analytic Tableaux and Related Methods, TABLEAUX 2019.The 20 papers presented were carefully reviewed and selected from 30 submissions. They present research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The papers are organized in the following topical sections: automated theorem proving and model building, combinations of systems, constraint solving, description logics, interactive theorem proving, modal and epistemic logics, and rewriting and unification.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 388 pp. Englisch.