Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India

Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings

The ICLA 2009 proceedings from Chennai compile pioneering research on logic systems, exploring novel proof techniques, formal semantics, and their application to software verification, AI reasoning, and knowledge bases.

Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

MPN: 1, black & white illustrations

ISBN: 354092700X

Deals
Characteristics

Sponsored This site contains affiliate links for which we may receive compensation. More information

Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings

Sponsored CHECK PRODUCTS/PRICES ON THE WEBSITE

Related products

Best prices and offers

Save on every purchase

Detailed information

The power to choose

Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings

Sponsored CHECK PRODUCTS/PRICES ON THE WEBSITE

Related products

Rewriting Logic and Its Applications : 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers