Alexandra Silva,
Renata Wassermann,
Ruy de Queiroz
Springer International Publishing
e druk, 2021
9783030888527
Logic, Language, Information, and Computation
27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings
Specificaties
Paperback, blz.
|
Engels
Springer International Publishing |
e druk, 2021
ISBN13: 9783030888527
Rubricering
Onderdeel van serie
Lecture Notes in Computer Science
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021. The 25 full papers presented included 6 invited lectures were fully reviewed and selected from 50 submissions.
The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation.
Specificaties
ISBN13:9783030888527
Taal:Engels
Bindwijze:paperback
Uitgever:Springer International Publishing
Inhoudsopgave
Logic.- Language.- Computation.- Proofs.- Formal Languages.- Category Theory.- Deduction systems.