KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Logic, Language, Information and Computation
  • Produktbild: Logic, Language, Information and Computation
Band 6188

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.06.2010

Abbildungen

X, 259 p. 28 illus.

Herausgeber

Anuj Dawar + weitere

Verlag

Springer Berlin

Seitenzahl

259

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

417 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-13823-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.06.2010

Abbildungen

X, 259 p. 28 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

259

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

417 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-13823-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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
  • Produktbild: Logic, Language, Information and Computation
  • Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics.- A CTL-Based Logic for Program Abstractions.- Application of Logic to Integer Sequences: A Survey.- The Two-Variable Fragment with Counting Revisited.- Intuitionistic Logic and Computability Theory.- Foundations of Satisfiability Modulo Theories.- Logical Form as a Determinant of Cognitive Processes.- Formal Lifetime Reliability Analysis Using Continuous Random Variables.- Modal Logics with Counting.- Verification of the Completeness of Unification Algorithms à la Robinson.- Mechanisation of PDA and Grammar Equivalence for Context-Free Languages.- On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations.- Decidability and Undecidability Results on the Modal ?-Calculus with a Natural Number-Valued Semantics.- Solving the Implication Problem for XML Functional Dependencies with Properties.- On Anaphora and the Binding Principles in Categorial Grammar.- Feasible Functions over Co-inductive Data.- Interval Valued Fuzzy Coimplication.- Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures.- Intersection Type Systems and Explicit Substitutions Calculi.- Generalising Conservativity.