EUR 122,96
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 115,68
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 115,68
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
EUR 130,71
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 115,67
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 128,88
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Zustand: New. 1st ed. 2020 edition NO-PA16APR2015-KAP.
Zustand: New.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2021
ISBN 10: 3030529568 ISBN 13: 9783030529567
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 153,04
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 251 pages. 9.25x6.10x0.57 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2020
ISBN 10: 3030529533 ISBN 13: 9783030529536
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 155,05
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 251 pages. 9.25x6.10x9.21 inches. In Stock.
Taschenbuch. Zustand: 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.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2021
ISBN 10: 3030529568 ISBN 13: 9783030529567
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.
Sprache: Englisch
Verlag: Springer International Publishing, 2020
ISBN 10: 3030529533 ISBN 13: 9783030529536
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: 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.
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
EUR 86,24
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new. Questo è un articolo print on demand.
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
EUR 86,24
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new. Questo è un articolo print on demand.
Sprache: Englisch
Verlag: Springer International Publishing Jul 2021, 2021
ISBN 10: 3030529568 ISBN 13: 9783030529567
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: 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.
Sprache: Englisch
Verlag: Springer International Publishing Jul 2020, 2020
ISBN 10: 3030529533 ISBN 13: 9783030529536
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch. Zustand: 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.
Sprache: Englisch
Verlag: Springer International Publishing, 2020
ISBN 10: 3030529533 ISBN 13: 9783030529536
Anbieter: moluna, Greven, Deutschland
EUR 92,27
Anzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: 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.
Sprache: Englisch
Verlag: Springer, Berlin|Springer International Publishing|Springer, 2021
ISBN 10: 3030529568 ISBN 13: 9783030529567
Anbieter: moluna, Greven, Deutschland
EUR 92,27
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: 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.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 148,76
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 150,70
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND.
Sprache: Englisch
Verlag: Springer, Palgrave Macmillan Jul 2020, 2020
ISBN 10: 3030529533 ISBN 13: 9783030529536
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Buch. Zustand: 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.
Sprache: Englisch
Verlag: Springer, Palgrave Macmillan Jul 2021, 2021
ISBN 10: 3030529568 ISBN 13: 9783030529567
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: 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.