Gutscheinbedingungen

**Gültig bis 06.07.2026 auf fremdsprachige Bücher online auf thalia.at, in der Thalia App ab einem Mindestbestellwert von 30€ und in allen Thalia Buchhandlungen in Österreich. In den Buchhandlungen nur gültig auf lagernde Ware. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. Pro Einkauf einmal einlösbar. Nur gültig gegen Vorlage oder im Onlineshop hinterlegter Bonuscard. Infos zur Einlösung in der Buchhandlung sind auf der Bonuscard-Vorteilspreisseite zu finden. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Einlösung bei Scan & Go-Bezahlung. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.

Produktbild: Logic, Language, Information, and Computation
Band 13923 - 12%

Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings

12% sparen

71,99 € UVP 82,49 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.08.2023

Herausgeber

Helle Hvid Hansen + weitere

Verlag

Springer

Seitenzahl

395

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

657 g

Auflage

1st edition 2023

Sprache

Englisch

ISBN

978-3-031-39783-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.08.2023

Herausgeber

Verlag

Springer

Seitenzahl

395

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

657 g

Auflage

1st edition 2023

Sprache

Englisch

ISBN

978-3-031-39783-7

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)

  • Produktbild: Logic, Language, Information, and Computation
  • Learning Context-Free Grammars from Positive Data and Membership Queries.- The Web Still Needs Logic and Reasoning: A Short Introduction to SHACL for Logicians.- From Gödel’s Incompleteness Theorem to the completeness of bot beliefs.- Quantitative Global Memory.- Effective Skolemization.- Factive Complements are not Always Unique Entities: A Case Study with Bangla 'remember'.- Two-layered logics for paraconsistent probabilities.- An Axiom System for Hybrid Logic with Propositional Quantifiers.- An Evidence Logic Perspective on Schotch-Jennings Forcing.- A separation logic with histories of epistemic actions as resources.- Conditional Obligations in Justification Logic.- Structural Completeness and Superintuitionistic Inquisitive Logics.- Validity in Choice Logics - A Game-theoretic Investigation.- Aleatoric Propositions: Reasoning about Coins.- Towards an induction principle for nested data types.- A principledapproach to Expectation Maximisation and Latent Dirichlet Allocation using Jeffrey's update rule.- Parameterized Complexity of Propositional Inclusion and Independence Logic.- Parallelism in Realizability Models.- Bisimulations between Verbrugge models and Veltman models.- Focus-style proofs for the two-way alternation-free $\mu$-calculus.- Relevant Reasoning and Implicit Beliefs.- Decidability of modal logics of non-k-colorable graphs.- Subsumption-Linear Q-Resolution for QBF Theorem Proving.- Maximally Multi-Focused Proofs for Skew Non-Commutative MILL.