Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

Name: Automated Reasoning
ISBN: 9783540710691

methods, description logics and related logics, sati?ability modulo theory, decidable logics, reasoning about programs, and higher-order logics.

In print

Ebook

Audiobook

Library

We may earn a commission. Learn more.

No reviews yet.
Be the first to write one.

No highlights yet.
Be the first to share one.