Condition: As New. Unread book in perfect condition.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 96.88
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 96.88
Quantity: Over 20 available
Add to basketCondition: New. In.
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 107.92
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Condition: New. 1st ed. 2020 edition NO-PA16APR2015-KAP.
Condition: New.
Language: English
Published by Springer-Nature New York Inc, 2021
ISBN 10: 3030529568 ISBN 13: 9783030529567
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 251 pages. 9.25x6.10x0.57 inches. In Stock.
Language: English
Published by Springer-Nature New York Inc, 2020
ISBN 10: 3030529533 ISBN 13: 9783030529536
Seller: Revaluation Books, Exeter, United Kingdom
Hardcover. Condition: Brand New. 251 pages. 9.25x6.10x9.21 inches. In Stock.
Taschenbuch. Condition: Neu. Probabilistic Extensions of Various Logical Systems | Zoran Ognjanovi¿ | Taschenbuch | xiii | Englisch | 2021 | Springer | EAN 9783030529567 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Language: English
Published by Springer International Publishing, Springer International Publishing, 2021
ISBN 10: 3030529568 ISBN 13: 9783030529567
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The contributions in this book survey results on combinations of probabilistic and various other classical, temporal and justification logical systems. Formal languages of these logics are extended with probabilistic operators. The aim is to provide a systematic overview and an accessible presentation of mathematical techniques used to obtain results on formalization, completeness, compactness and decidability. The book will be of value to researchers in logic and it can be used as a supplementary text in graduate courses on non-classical logics.
Language: English
Published by Springer International Publishing, 2020
ISBN 10: 3030529533 ISBN 13: 9783030529536
Seller: AHA-BUCH GmbH, Einbeck, Germany
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The contributions in this book survey results on combinations of probabilistic and various other classical, temporal and justification logical systems. Formal languages of these logics are extended with probabilistic operators. The aim is to provide a systematic overview and an accessible presentation of mathematical techniques used to obtain results on formalization, completeness, compactness and decidability. The book will be of value to researchers in logic and it can be used as a supplementary text in graduate courses on non-classical logics.
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new. Questo è un articolo print on demand.
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer International Publishing Jul 2021, 2021
ISBN 10: 3030529568 ISBN 13: 9783030529567
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The contributions in this book survey results on combinations of probabilistic and various other classical, temporal and justification logical systems. Formal languages of these logics are extended with probabilistic operators. The aim is to provide a systematic overview and an accessible presentation of mathematical techniques used to obtain results on formalization, completeness, compactness and decidability. The book will be of value to researchers in logic and it can be used as a supplementary text in graduate courses on non-classical logics. 252 pp. Englisch.
Language: English
Published by Springer International Publishing Jul 2020, 2020
ISBN 10: 3030529533 ISBN 13: 9783030529536
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The contributions in this book survey results on combinations of probabilistic and various other classical, temporal and justification logical systems. Formal languages of these logics are extended with probabilistic operators. The aim is to provide a systematic overview and an accessible presentation of mathematical techniques used to obtain results on formalization, completeness, compactness and decidability. The book will be of value to researchers in logic and it can be used as a supplementary text in graduate courses on non-classical logics. 252 pp. Englisch.
Language: English
Published by Springer International Publishing, 2020
ISBN 10: 3030529533 ISBN 13: 9783030529536
Seller: moluna, Greven, Germany
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Contributions survey results on combinations of probabilistic and other logical systemsAccessible presentation of techniques used to obtain results on formalization, completeness, compactness and decidabilityValuable for researchers in logic.
Language: English
Published by Springer, Berlin|Springer International Publishing|Springer, 2021
ISBN 10: 3030529568 ISBN 13: 9783030529567
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The contributions in this book survey results on combinations of probabilistic and various other classical, temporal and justification logical systems. The aim is to provide a systematic overview and an accessible presentation of mathematical techniques use.
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand.
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand.
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND.
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND.
Language: English
Published by Springer, Palgrave Macmillan Jul 2020, 2020
ISBN 10: 3030529533 ISBN 13: 9783030529536
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The contributions in this book survey results on combinations of probabilistic and various other classical, temporal and justification logical systems. Formal languages of these logics are extended with probabilistic operators. The aim is to provide a systematic overview and an accessible presentation of mathematical techniques used to obtain results on formalization, completeness, compactness and decidability.The book will be of value to researchers in logic and it can be used as a supplementary text in graduate courses on non-classical logics.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 252 pp. Englisch.
Language: English
Published by Springer, Palgrave Macmillan Jul 2021, 2021
ISBN 10: 3030529568 ISBN 13: 9783030529567
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The contributions in this book survey results on combinations of probabilistic and various other classical, temporal and justification logical systems. Formal languages of these logics are extended with probabilistic operators. The aim is to provide a systematic overview and an accessible presentation of mathematical techniques used to obtain results on formalization, completeness, compactness and decidability.The book will be of value to researchers in logic and it can be used as a supplementary text in graduate courses on non-classical logics.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 252 pp. Englisch.