Logic, Language, Information, and Computation

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

AvAgata Ciabattoni,Elaine Pimentel

Häftad, Engelska, 2022

Del 13468 i serien Lecture Notes in Computer Science

536 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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

Utgivningsdatum:2022-09-09
Mått:155 x 235 x 24 mm
Vikt:668 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:411
Förlag:Springer International Publishing AG
ISBN:9783031152979

Utforska kategorier

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

Innehållsförteckning

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.