Produktbild: Logic, Language, Information, and Computation

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

39,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.07.2015

Abbildungen

XX, 14 illus., schwarz-weiss Illustrationen

Herausgeber

Valeria de Paiva + weitere

Verlag

Springer Berlin

Seitenzahl

201

Maße (L/B/H)

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

Gewicht

347 g

Auflage

2015

Sprache

Englisch

ISBN

978-3-662-47708-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.07.2015

Abbildungen

XX, 14 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

201

Maße (L/B/H)

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

Gewicht

347 g

Auflage

2015

Sprache

Englisch

ISBN

978-3-662-47708-3

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
  • Modeling Language Design for Complex Systems Simulation.- Formalization of Mathematics for Fun and Profit.- From Residuated Lattices via GBI-algebras to BAOs.- Towards a Nominal Chomsky Hierarchy.- Multi-Linear Algebraic Semantics for Natural Language.- Categories of Games.- Learning in the limit, general topology, and modal logic.- The Word Problem for Finitely Presented Quandles is Undecidable.- Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language.- On Topologically Relevant Fragments of the Logic of Linear Flows of Time.- An Equation-Based Classical Logic.- Cyclic multiplicative proof nets of linear logic with an application to language parsing.- A Dichotomy Result for Ramsey Quantifiers.- Parametric Polymorphism { Universally.- On the weak index problem for game automata.- Proof-theoretic aspects of the Lambek-Grishin Calculus.- Syllogistic Logic with "Most".- Characterizing Frame Definability in Team Semantics via The Universal Modality.- An Epistemic Separation Logic.- Equational properties of stratified least fixed points.- The p-adic integers as final coalgebra.