Buch, Englisch, 427 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 657 g
27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings
Buch, Englisch, 427 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 657 g
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-030-88852-7
Verlag: Springer International Publishing
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.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Logic.- Language.- Computation.- Proofs.- Formal Languages.- Category Theory.- Deduction systems.