
Proof Theory and Algebra in Logic
Hiroakira Ono
₹2,731

16th International Workshop
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2009
Free delivery. Nothing extra to pay at checkout.
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 2009, Logic, Language, Information and Computation: 16th International Workshop by Hiroakira Ono runs to 409 pages.
Its main subjects are Computational complexity, Information theory, Computer science and Artificial intelligence.