Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

*Gültig bis 07.06.2026 auf (fast) alles. Ausgeschlossen sind Smartboxen, Zeitschriften, Tickets, Lebensmittel, Gaming-Elektroartikel, Tinte/Toner, Gutscheine, Geschenkkarten, Blumen und Abos | Einlösbar in allen Buchhandlungen von Orell Füssli, Barth Bücher, Buchladen Rapunzel, Schuler Orell Füssli, Stauffacher und ZAP unter Vorweisung des Gutscheins, auf www.orellfüssli.ch durch Eingabe des Gutscheincodes. Beim Service „eBooks verschenken“ und bei eBook-Käufen via eReader nicht einlösbar | Mindesteinkaufswert: Fr. 100.- | Nicht mit anderen Rabatten kumulierbar.
  • Produktbild: R-Calculus, V: Description Logics
  • Produktbild: R-Calculus, V: Description Logics

R-Calculus, V: Description Logics

Aus der Reihe Perspectives in Formal Induction, Revision and Evolution

Fr. 218.00

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

06.01.2024

Verlag

Springer Singapore

Seitenzahl

384

Maße (L/B/H)

24.1/16/2.7 cm

Gewicht

764 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-981-9964-59-8

Beschreibung

Rezension

“The book's mathematical rigor is its primary strength. The authors provide detailed proofs, examples, and formalizations, ensuring that each concept is thoroughly validated. Additionally, the inclusion of both decidable and undecidable logics bridges the gap between theory and computation, catering to diverse research interests. The treatment of many-valued logics is innovative, offering fresh insights into their structure and applications.” (Nino Guallart, Mathematical Reviews, May, 2025)

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

06.01.2024

Verlag

Springer Singapore

Seitenzahl

384

Maße (L/B/H)

24.1/16/2.7 cm

Gewicht

764 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-981-9964-59-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: R-Calculus, V: Description Logics
  • Produktbild: R-Calculus, V: Description Logics

  • Introduction.- Decidable DLs 30.- R-calculus for binary-valued description logic.- R-calculi for Post three-valued DL.- R-calculi for B22-valued DL.- R-calculi for Post L4 -valued DL.- Undecidable DLs.- Introduction.- Role R-calculus for binary-valued DL.- Role R-calculus for Post three-valued DL.- Role R-calculus for B22 -valued DL.- Role R-calculus for Post L4-valued DL.- A Finite injury priority method.