Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5-8, 2021, Proceedings

Logic.- Language.- Computation.- Proofs.- Formal Languages.- Category Theory.- Deduction systems.

• Format: Paperback
• Language: English
• ISBN: 3030888525
• ISBN13: 9783030888527
• Release Date: October 2021
• Publisher: Springer
• Length: 427 Pages
• Weight: 1.34 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"