🦃 Cozy up with autumn reads! Let our AI Librarian pick your perfect fireside book 🍁
Explore the literary world of this author
18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings
This book constitutes the refereed proceedings of the 18th International Workshop on Computer Science Logic, CSL 2004, held as the 13th Annual Confere...