Handbook of Practical Logic and Automated Reasoning

Name: Handbook of Practical Logic and Automated Reasoning
ISBN: 9780521899574

A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.

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.