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

Logic, Language, Information, and Computation 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings

48,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.09.2022

Abbildungen

XXIX, 411 p. 62 illus., 16 illus. in color.

Herausgeber

Agata Ciabattoni + weitere

Verlag

Springer

Seitenzahl

411

Maße (L/B/H)

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

Gewicht

668 g

Auflage

1st ed. 2022

Sprache

Englisch

ISBN

978-3-031-15297-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.09.2022

Abbildungen

XXIX, 411 p. 62 illus., 16 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

411

Maße (L/B/H)

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

Gewicht

668 g

Auflage

1st ed. 2022

Sprache

Englisch

ISBN

978-3-031-15297-9

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
  • Produktbild: Logic, Language, Information, and Computation
  • Proof theory,.- Model theory.- Modal and temporal logics.- Automated reasoning.-Constraint and logic programming.- Constructive mathematics.- Equational logic and rewriting.- Finite Model Theory.- Descriptive complexity,.- Higher order logic.- Programming logic.- Model checking.- Type theory.- Lambda calculus.- Semantics of programming languages.- Computational linguistics.-Language and computation.- Logic and language.