Logic, Algebra, and Computation: International Summer School

This volume presents the proceedings of the tenth Marktoberdorf Summer School, with the theme Logic, Algebra, and Computation. The volume has a message: applied logic is programming, programming is applied logic, and computation is a common concern of logic and mathematics.

• Format: Paperback
• Language: English
• ISBN: 3642768016
• ISBN13: 9783642768019
• Release Date: January 2012
• Publisher: Springer
• Length: 485 Pages
• Weight: 1.75 lbs.
• Dimensions: 1.0" x 6.7" x 9.6"