Record Type: |
Electronic resources
: Monograph/item
|
Title/Author: |
Logic, language, information, and computationedited by Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz. |
Reminder of title: |
29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023 : proceedings / |
remainder title: |
WoLLIC 2023 |
other author: |
Hansen, Helle Hvid. |
corporate name: |
|
Published: |
Cham :Springer Nature Switzerland :2023. |
Description: |
xxxviii, 395 p. :ill. (some col.), digital ;24 cm. |
Contained By: |
Springer Nature eBook |
Subject: |
Logic, Symbolic and mathematical |
Online resource: |
https://doi.org/10.1007/978-3-031-39784-4 |
ISBN: |
9783031397844$q(electronic bk.) |