Del 13468 - Lecture Notes in Computer Science

Logic, Language, Information, and Computation

28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings

Häftad, Engelska, 2022

AvAgata Ciabattoni,Elaine Pimentel,Ruy J. G. B. de Queiroz,Ruy J. G. B. De Queiroz

699 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 28th Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Iasi, Romania, in September 2022.

Produktinformation

Utgivningsdatum2022-09-09
Mått155 x 235 x 24 mm
Vikt668 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor411
FörlagSpringer International Publishing AG
ISBN9783031152979

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programspråk inom Data och IT
Hårdvara inom Data och IT
Filosofiska discipliner inom Filosofi och religion

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.