Gutscheinbedingungen

*Gültig bis 04.08.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, Papeterie Köhler, 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. 30.- | Nicht mit anderen Rabatten kumulierbar.

  • Produktbild: Logic, Language, Information, and Computation
  • Produktbild: Logic, Language, Information, and Computation
  • Produktbild: Logic, Language, Information, and Computation
Band 8652

Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

Fr. 71.90

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.07.2014

Abbildungen

XX, 237 p. 17 illus.

Herausgeber

Ulrich Kohlenbach + weitere

Verlag

Springer Berlin

Seitenzahl

237

Maße (L/B/H)

23.5/15.5/1.5 cm

Gewicht

400 g

Auflage

2014

Sprache

Englisch

ISBN

978-3-662-44144-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.07.2014

Abbildungen

XX, 237 p. 17 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

237

Maße (L/B/H)

23.5/15.5/1.5 cm

Gewicht

400 g

Auflage

2014

Sprache

Englisch

ISBN

978-3-662-44144-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

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: Logic, Language, Information, and Computation
  • Produktbild: Logic, Language, Information, and Computation
  • Produktbild: Logic, Language, Information, and Computation

  • On Normal Numbers.- Dependence Logic.- Syntax and Semantics for Translation.- Intersection types for normalization and verification.- Quantum State Transformations and Branching Distributed Temporal Logic.- Backward deterministic Büchi automata.- Deniability for Downward and Vertical XPath on Data Trees.- On the value of variables.- Logics with Copy and Remove.- Unranked Second-Order Anti-Unification.- Reinstatement and the requirement of maximal specificity in argument Systems.- Sequentialization for N-Graphs via Sub-N-Graphs.- Interrogative dependencies and the constructive content of inquisitive Proofs.- Modal logics of uncertainty with two layer-syntax: a general completeness theorem.- Ancestral Logic: a Proof Theoretical Study.- A Calculus of Anyons.- Theorems on Pre-Fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars.- Common Knowledge Semantics of Armstrong's Axioms.- On Distributed Stochastic Logics for Mobile Systems.- On the Construction of Analytic Sequent Calculi for Sub-classical Logics.- On the Broader Epistemological Significance of Self-Justifying Axiom Systems.