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

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings

Fr. 73.90

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.06.2007

Herausgeber

Daniel Leivant + weitere

Verlag

Springer Berlin

Seitenzahl

366

Maße (L/B/H)

23.5/15.5/2.1 cm

Gewicht

569 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-73443-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.06.2007

Herausgeber

Verlag

Springer Berlin

Seitenzahl

366

Maße (L/B/H)

23.5/15.5/2.1 cm

Gewicht

569 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-73443-7

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: Logic, Language, Information and Computation
  • Produktbild: Logic, Language, Information and Computation
  • A Grammatical Representation of Visibly Pushdown Languages.- Fully Lexicalized Pregroup Grammars.- Bounded Lattice T-Norms as an Interval Category.- Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps.- Continuation Semantics for Symmetric Categorial Grammar.- Ehrenfeucht–Fraïssé Games on Linear Orders.- Hybrid Logical Analyses of the Ambient Calculus.- Structured Anaphora to Quantifier Domains: A Unified Account of Quantificational and Modal Subordination.- On Principal Types of BCK-?-Terms.- A Finite-State Functional Grammar Architecture.- Pregroup Calculus as a Logic Functor.- A Formal Calculus for Informal Equality with Binding.- Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm.- An Introduction to Context Logic.- Numerical Constraints for XML.- Modules over Monads and Linearity.- Hydra Games and Tree Ordinals.- Spin Networks, Quantum Topology and Quantum Computation.- Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus.- Computational Interpretations of Classical Linear Logic.- Autonomous Programmable Biomolecular Devices Using Self-assembled DNA Nanostructures.- Interval Valued QL-Implications.- Behavioural Differential Equations and Coinduction for Binary Trees.- A Sketch of a Dynamic Epistemic Semiring.- A Modal Distributive Law (abstract).- Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing.