Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

Gültig bis 19.08.2026 | Gültig für Spielzeug, Filme, Musik, Software, Games, Elektronik, Geschenke & Trends, Schreibwaren, Hörbücher und Hörbuch-Downloads (außer Abo & Shelfies), gebrauchte Bücher, nicht preisgebundene Bücher und Kalender | Einlösbar unter osiander.de und in der Osiander App | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Einzelne Artikel können ausgeschlossen sein | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Digitale Hörbücher nur für Android  | Nicht gültig für preisgebundene Artikel (aufgrund der Buchpreisbindung sind Gutscheine nicht auf Bücher, eBooks, Presse einlösbar), tolino eReader & Zubehör, Abonnements & Flatrates, Geschenkkarten, Versandkosten und Services
Produktbild: Logical Methods
Band 12 - 13%

Logical Methods In Honor of Anil Nerode’s Sixtieth Birthday

Aus der Reihe Progress in Computer Science and Applied Logic
13% sparen

138,99 € UVP 160,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.02.2013

Abbildungen

XIV, 816 p.

Herausgeber

John N. Crossley + weitere

Verlag

Birkhäuser Boston

Seitenzahl

816

Maße (L/B/H)

23,5/15,5/4,7 cm

Gewicht

1290 g

Auflage

1993

Sprache

Englisch

ISBN

978-1-4612-6708-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.02.2013

Abbildungen

XIV, 816 p.

Herausgeber

Verlag

Birkhäuser Boston

Seitenzahl

816

Maße (L/B/H)

23,5/15,5/4,7 cm

Gewicht

1290 g

Auflage

1993

Sprache

Englisch

ISBN

978-1-4612-6708-9

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
Die Leseprobe wird geladen.
  • Produktbild: Logical Methods
  • The Work of Anil Nerode: A Retrospective.- Embedding Distributive Lattices Preserving 1 Below A Nonzero Recursively Enumerable Turing Degree.- Prime Isols and the Theorems of Fermat and Wilson.- Problem Solving Strategies for the Derivation of Programs.- Effective Real Dynamics.- An Integer Lattice Arising in the Model Theory of Wreath Products.- Undecidability and Definability for Parametrized Polynomial Time m-Reducibilities.- Extracting Programs from Proofs by an Extension of the Curry-Howard Process.- A Bird’s-Eye View of Twilight Combinatorics.- Effectively and Noneffectively Nowhere Simple Subspaces.- Index Sets in Recursive Combinatorics.- Computability in Unitary Representations of Compact Groups.- Recursive Properties of Intervals of Recursive Linear Orders.- Algorithmic Stability of Models.- The Combinatorics of the Friedberg-Muchnick Theorem.- Partial Automata and Finitely Generated Congruences: An Extension of Nerode’s Theorem.- Minimal Pair Constructions and Iterated Treesof Strategies.- Intuitionistic L.- n-Recursive Linear Orders Without (n + 1)-Recursive Copies.- Multiple Agent Autonomous Control — A Hybrid Systems Architecture.- Distributed Concurrent Programs as Strategies in Games.- Dempster-Shafer Logic Programs and Stable Semantics.- Who Put the “Back” in Back-and-Forth?.- Polynomial Time Categoricity and Linear Orderings.- The Disjunction and Numerical Existence Properties for Intuitionistic Analysis.- On the Strength of Fraïssé’s Conjecture.