Isbn: 9789819758326 - r-calculus, vi: finite injury priority method (perspectives in formal induction, revision and evolution) (8 Ergebnisse)

ISBN: 
Mit der Detailsuche verfeinern

Optimieren Sie Ihre Suche

  • Bücher (8)

  • Neu (8)

bis

Benutzerdefinierte Preisspanne (EUR)

bis

  • Sprache: Englisch

    Verlag: Springer, 2025

    9819758327 / 9789819758326

    • Softcover

    Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 162,23

    EUR 35,00 Versand 
    Versand von Deutschland nach USA

    Anzahl: 1 verfügbar

    Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This sixth volume of the book series applies finite injury priority method to R-calculiand obtain (in)completeness theorem for binary-valued, Post three-valued, B2^2-valued and L4-valued first-order logics, andextend the method to infinite injury priority method and 0'-method fordefault logic to produce pseudo-extensions of a default theory, corresponding to different R-calculi. Finite injury priority method and tree constructions are discussed in this book.This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.…

  • Sprache: Englisch

    Verlag: Springer, 2025

    9819758327 / 9789819758326

    • Softcover

    Anbieter: preigu, Osnabrück, Deutschlandpreigu

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 131,15

    EUR 70,00 Versand 
    Versand von Deutschland nach USA

    Anzahl: 5 verfügbar

    Taschenbuch. Zustand: Neu. R-Calculus, VI: Finite Injury Priority Method | Wei Li (u. a.) | Taschenbuch | Perspectives in Formal Induction, Revision and Evolution | xii | Englisch | 2025 | Springer | EAN 9789819758326 | 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, 2025

    9819758327 / 9789819758326

    • Softcover

    Anbieter: Books Puddle, Woodside, NY, USABooks Puddle

    Verkäufer/-in mit 4 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 206,05

    EUR 3,50 Versand 
    Versand innerhalb von USA

    Anzahl: 4 verfügbar

    Zustand: New.

  • Sprache: Englisch

    Verlag: Springer, Springer Okt 2025, 2025

    9819758327 / 9789819758326

    • Softcover
    • Print-on-Demand

    Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 149,79

    EUR 23,00 Versand 
    Versand von Deutschland nach USA

    Anzahl: 2 verfügbar

    Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 240 pp. Englisch.

  • Sprache: Englisch

    Verlag: Springer Verlag GmbH, 2025

    9819758327 / 9789819758326

    • Softcover
    • Print-on-Demand

    Anbieter: moluna, Greven, Deutschlandmoluna

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 127,40

    EUR 48,99 Versand 
    Versand von Deutschland nach USA

    Anzahl: Mehr als 20 verfügbar

    Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.

  • Sprache: Englisch

    Verlag: Springer, Springer Nature Singapore Okt 2025, 2025

    9819758327 / 9789819758326

    • Softcover
    • Print-on-Demand

    Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 149,79

    EUR 60,00 Versand 
    Versand von Deutschland nach USA

    Anzahl: 1 verfügbar

    Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This sixth volume of the book series applies finite injury priority method to R-calculi and obtain (in)completeness theorem for binary-valued, Post three-valued, B2^2-valued and L4-valued first-order logics, and extend the method to infinite injury priority method and 0'-method for default logic to produce pseudo-extensions of a default theory, corresponding to different R-calculi. Finite injury priority method and tree constructions are discussed in this book. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 240 pp. Englisch. …

  • Sprache: Englisch

    Verlag: Springer, 2025

    9819758327 / 9789819758326

    • Softcover
    • Print-on-Demand

    Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books

    Verkäufer/-in mit 4 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 215,55

    EUR 7,56 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: 4 verfügbar

    Zustand: New. Print on Demand.

  • Sprache: Englisch

    Verlag: Springer, 2025

    9819758327 / 9789819758326

    • Softcover
    • Print-on-Demand

    Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios

    Verkäufer/-in mit 4 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 216,54

    EUR 9,95 Versand 
    Versand von Deutschland nach USA

    Anzahl: 4 verfügbar

    Zustand: New. PRINT ON DEMAND.